∞-Lie theory
generalized smooth space
smooth manifold
diffeological space
Frölicher space
smooth topos
smooth ∞-groupoid, concrete smooth ∞-groupoid
synthetic differential ∞-groupoid
∞-groupoid
groupoid
2-groupoid
strict ∞-groupoid
∞-group
Lie theory
Lie integration, Lie differentiation
Lie's three theorems
Lie theory for stacky Lie groupoids
∞-Lie groupoid
strict ∞-Lie groupoid
Lie groupoid
differentiable stack
orbifold
∞-Lie group
Lie group
Lie 2-group
∞-Lie algebroid
Lie ∞-algebroid representation
L-∞-algebra
model structure for L-∞ algebras: on dg-Lie algebras, on dg-coalgebras, on simplicial Lie algebras
Lie algebra
Lie 2-algebra
strict Lie 2-algebra
differential crossed module
Lie 3-algebra
dg-Lie algebra, simplicial Lie algebra
super L-∞ algebra
Lie algebra cohomology
Chevalley-Eilenberg algebra
Weil algebra
invariant polynomial
nonabelian Lie algebra cohomology
Atiyah Lie groupoid
fundamental ∞-groupoid
path groupoid
path n-groupoid
smooth principal ∞-bundle
orthogonal group
special orthogonal group
spin group
string 2-group
fivebrane 6-group
unitary group
circle Lie n-group
tangent Lie algebroid
action Lie algebroid
Atiyah Lie algebroid
symplectic Lie n-algebroid
symplectic manifold
Poisson Lie algebroid
Courant Lie algebroid
general linear Lie algebra
orthogonal Lie algebra, special orthogonal Lie algebra
endomorphism L-∞ algebra
automorphism ∞-Lie algebra
string Lie 2-algebra
fivebrane Lie 6-algebra
supergravity Lie 3-algebra
supergravity Lie 6-algebra
line Lie n-algebra
Edit this sidebar
higher algebra
universal algebra
algebraic theory / 2-algebraic theory / (∞,1)-algebraic theory
monad / (∞,1)-monad
operad / (∞,1)-operad
algebra over a monad
∞-algebra over an (∞,1)-monad
algebra over an algebraic theory
∞-algebra over an (∞,1)-algebraic theory
algebra over an operad
∞-algebra over an (∞,1)-operad
action, ∞-action
representation, ∞-representation
module, ∞-module
associated bundle, associated ∞-bundle
monoidal (∞,1)-category
symmetric monoidal (∞,1)-category
monoid in an (∞,1)-category
commutative monoid in an (∞,1)-category
symmetric monoidal (∞,1)-category of spectra
smash product of spectra
symmetric monoidal smash product of spectra
ring spectrum, module spectrum, algebra spectrum
A-∞ algebra
C-∞ algebra
E-∞ algebra
L-∞ algebra
model structure on simplicial T-algebras / homotopy T-algebra
model structure on operads
model structure on algebras over an operad
Isbell duality
derived geometry
Deligne conjecture
delooping hypothesis
monoidal Dold-Kan correspondence
The L ∞-operad is a cofibrant resolution of the Lie operad in the model structure on operads in the category of chain complexes.
Its algebras over an operad are L-infinity algebras.
A-∞ operad
E-∞ operad
L ∞-operad