In mathematics, a
quasi-category (also called
quasicategory,
weak Kan complex,
inner Kan complex,
infinity category,
8-category,
Boardman complex,
quategory) is a generalization of the notion of a
category. The study of such generalizations is known as
higher category theory.