COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Category Theory Seminar > A Synthetic Version of Lie's Second Theorem

## A Synthetic Version of Lie's Second TheoremAdd to your list(s) Download to your calendar using vCal - Matthew Burke (Masaryk University)
- Tuesday 17 November 2015, 14:15-15:15
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Dr Ignacio Lopez Franco. This talk will describe an axiomatic treatment of Lie’s second theorem which generalises the classical version by replacing Lie groups with a special type of category. First we will recall a category theoretic formulation of Lie’s second and third theorems and briefly review the classical formal group law construction. Then we will sketch how to use the theory of synthetic differential geometry to define the infinitesimal part of a category. Finally we will abstract from this situation the appropriate data and properties that suffice to give a formal proof of the Lie’s second theorem for categories. This talk is part of the Category Theory Seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
Note that ex-directory lists are not shown. |
## Other listsCambridge Finance Semantics Lunch (Computer Laboratory) CCCRR Vascular Biology Research Seminars## Other talksTitle TBC Modeling and understanding of Quaternary climate cycles Flow Cytometry Enhanced Decision Making in Drug Discovery Recent advances in understanding climate, glacier and river dynamics in high mountain Asia Smuts, bunts and ergots |