Australian Category Seminar

Mathematical applications of category theory in synthetic calculus of variations

Vafa Khalighi·23 May 2007

1. Introduction: In various lectures on categorical dynamics given in 1967, Lawvere laid down the foundations of a new discipline which in recent years has undergone a rapid development and has come to be known as “synthetic differential geometry”. As the title of Lawvere’s lectures suggests the motivation came from the search for a suitable complete category theory, δ, in which to develop dynamics. Such a category, δ, unlike the category M of smooth paracompact manifolds and smooth mappings was to possess all finite limits and exponentials.

2. Some simple questions in the calculus of variations: We look at some simple questions in the calculus of variations like: to find the shortest curve between two points on a surface or to find a closed curve of given length and maximal enclosed area, and we analyse how category theory can answer these simple questions.

Back