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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

A Synthetic Version of Lie's Second Theorem

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

Wizkid announces ‘Made In Lagos’ album and Tour 2020 Sainsbury Laboratory Auditorium Rushmore Room

Other talks

Title to be confirmed A Few Days in Patagonia - the Deep South The Imagined Conflict: On Science and God Title to be confirmed A Data-Centric Approach to AI Adaptation and Alignment The organisational management of traumatic stress
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity