# Contents

## Idea

Higher Lie theory is the refinement of Lie theory to higher geometry (higher differential geometry). It studies smooth ∞-groupoids and L-∞ algebroids and their relation via Lie integration and Lie differentiation.

Revised on April 1, 2016 20:19:55 by Hiram Archer? (184.167.197.59)