nLab lectures on higher bundle theory

Higher Bundle Theory

• Introduction on Lie groupoids and Lie algebroids

  • Lie groupoid

  • Lie algebroid

  • Morphisms of Lie groupoids

  • Morphisms of Lie algebroids

  • Lie groupoid principal bundles

  • Bibundles of Lie groupoids

  • Differentiating Lie groupoids

  • Integrating Lie algebroids

• Introduction on stack theory

  • sheaf

  • 2-sheaf

  • sheafification

• Introduction on higher groupoids

  • Kan complex

  • Stacky Groupoids (Sect. 3.1)