Backround
Definition
Presentation over a site
Models
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
An smooth -group is a group object in the cohesive (∞,1)-topos Smooth∞Grpd of smooth ∞-groupoids.
An ordinary Lie group is a 0-truncated -Lie group.
A Lie 2-group is a 1-truncated -Lie group.
A Lie 6-group is a 5-truncated -Lie group.
See smooth ∞-groupoid.
Last revised on September 3, 2020 at 18:52:12. See the history of this page for a list of all contributions to it.