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 > Lie's Third Theorem in Synthetic Differential Geometry

## Lie's Third Theorem in Synthetic Differential GeometryAdd to your list(s) Download to your calendar using vCal - Matthew Burke (MathSpire Ltd)
- Tuesday 02 May 2017, 14:15-15:15
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. This talk will describe a generalisation of Lie’s third theorem in which Lie groups are replaced by a special type of category. The local approximation of such a category will be constructed using an intuitionistic double negation operation. First we will review the classical Lie correspondence and recall the definition of the germ of a local Lie group. Then we will discuss a few attempts to generalise Lie’s third theorem by considering different approximation procedures and working in different ambient categories. Finally we will sketch a proof of Lie’s third theorem using the double negation approximation procedure and the theory of synthetic differential geometry. 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
- 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 listsStudent Community Action Reproduction on Film: Sex, Secrets and Lies Cambridge University Engineering Society## Other talksDive into the Lives of Flies and Ants Index of Suspicion: Predicting Cancer from Prescriptions Pruning and grafting syntactic trees for cross-lingual transfer tasks Political Thought, Time and History: An International Conference Neurological Problems Enhanced Decision Making in Drug Discovery |