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
- Hanchen DaDaDash
- Interested Talks
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsCategory Theory Seminar IOP East Anglia Branch Applied Physics Seminars Cambridge Finance Semantics Lunch (Computer Laboratory) CCCRR Vascular Biology Research Seminars## Other talksModeling and understanding of Quaternary climate cycles Flow Cytometry Enhanced Decision Making in Drug Discovery CANCELLED DUE TO STRIKE ACTION Recent advances in understanding climate, glacier and river dynamics in high mountain Asia Smuts, bunts and ergots |