A synthetic version of Lie's second theorem

DOI10.1007/s10485-018-9518-2zbMath1475.58013arXiv1605.06378OpenAlexW2963529488MaRDI QIDQ1656722

Matthew J. Burke

Publication date: 10 August 2018

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.06378

zbMATH Keywords

Lie groupoidssynthetic differential geometryLie theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Pseudogroups and differentiable groupoids (58H05) Categories in geometry and topology (18F99) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

A synthetic version of Lie's second theorem, The categorical basis of dynamical entropy, Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry
• Integrability of Lie brackets
• A synthetic version of Lie's second theorem
• Formal symplectic groupoid
• Sur l'espace de prolongement différentiable
• Categorical Homotopy Theory
• Enriched factorization systems
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Category Theory