Lie groupoid
Urs Schreiber
∞-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
A Lie groupoid is a groupoid internal to smooth manifolds. This is a joint generalization of smooth manifolds and Lie groups to higher differential geometry.
Regarded in the more general context of smooth groupoids/smooth stacks, Lie groupoids present...