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
Tannaka duality for Lie groupoids.
In (Trentinaglia) Tannaka duality for proper Lie groupoids is established by using instead of vector bundles something more general: not quite quasicoherent sheaves as in Tannaka duality for geometric stacks, maybe, but something the author calls “smooth Euclidean fields”.
Created on May 27, 2011 at 15:10:16. See the history of this page for a list of all contributions to it.