Category theory
Abstract algebra
Algebraic topology
Homotopy theory
Operad theory
Definition
Simplicial set
Nerve
Category of being
Equivalence of categories
E-operad