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 Conference on Global Food Security 2016 Graduate Union talks First Intestinal Epithelial Research Symposium## Other talksBiophysical force regulation in cell migration Title TBC to be confirmed Computational Neuroscience Journal Club Targets for drug discovery: from target validation to the clinic Diversity of the human response to malaria |