SYNTHETIC LIE THEORY

DOI10.1017/S0004972715001781zbMath1338.18042OpenAlexW2268865756MaRDI QIDQ2814353

Matthew J. Burke

Publication date: 21 June 2016

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972715001781

zbMATH Keywords

intuitionistic logicsynthetic differential geometryLie theorymathematicscateogory theory

Mathematics Subject Classification ID

Topoi (18B25) Lie groups (22E99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (1)

Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry

Cites Work

• Integrability of Lie brackets
• An Introduction to Lie Groups and Lie Algebras
• Integrating Lie algebroids via stacks
• C ∞ -Schemes

This page was built for publication: SYNTHETIC LIE THEORY