Synthetic Lie theory

Empirical thesis.Bibliography: pages 159-161.Introduction -- 1. Synthetic differential geometry -- 2. Factorisation systems -- 3. Paths in categories -- 4. Synthetic lie theory -- 5. Relationship to classical lie theory -- Conclusion.Traditionally an infinitesimal neighbourhood of the identity element of a Lie group is studied indirectly by using an appropriately chosen algebraic structure such as a Lie algebra to represent it. In this thesis we use the theory of synthetic differential geometry to work directly with this infinitesimal neighbourhood and reformulate Lie theory in terms of infinitesimals. We show how to carry out this reformulation for the established generalisation of Lie theory involving Lie groupoids and Lie algebroids and make a further generalisation by replacing groupoids with categories. Our main result is a proof of Lie's second theorem in this context. Finally we show how our new constructions and definitions relate to the classical ones.Mode of access: World wide web1 online resource (161 pages