A synthetic version of Lie's second theorem
From MaRDI portal
Publication:1656722
DOI10.1007/s10485-018-9518-2zbMath1475.58013arXiv1605.06378OpenAlexW2963529488MaRDI QIDQ1656722
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
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