In mathematics, more specifically
category theory, a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a
category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
* Category of being
* ''Categories'' (Aristotle)
* Category (Kant)
* Categories (Peirce) ...
. The study of such generalizations is known as
higher category theory In mathematics, higher category theory is the part of category theory at a ''higher order'', which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher cate ...
.
Quasi-categories were introduced by .
André Joyal
André Joyal (; born 1943) is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2013, where he was invited to jo ...
has much advanced the study of quasi-categories showing that most of the usual basic
category theory and some of the advanced notions and theorems have their analogues for quasi-categories. An elaborate treatise of the theory of quasi-categories has been expounded by .
Quasi-categories are certain
simplicial set
In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined ...
s. Like ordinary categories, they contain objects (the 0-simplices of the simplicial set) and morphisms between these objects (1-simplices). But unlike categories, the composition of two morphisms need not be uniquely defined. All the morphisms that can serve as composition of two given morphisms are related to each other by higher order invertible morphisms (2-simplices thought of as "homotopies"). These higher order morphisms can also be composed, but again the composition is well-defined only up to still higher order invertible morphisms, etc.
The idea of higher category theory (at least, higher category theory when higher morphisms are invertible) is that, as opposed to the standard notion of a category, there should be a mapping space (rather than a mapping set) between two objects. This suggests that a higher category should simply be a
topologically enriched category. The model of quasi-categories is, however, better suited to applications than that of topologically enriched categories, though it has been proved by Lurie that the two have natural model structures that are
Quillen equivalent
In homotopy theory, a branch of mathematics, a Quillen adjunction between two closed model categories C and D is a special kind of adjunction between categories that induces an adjunction between the homotopy categories Ho(C) and Ho(D) via the ...
.
Definition
By definition, a quasi-category ''C'' is a
simplicial set
In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined ...
satisfying the inner Kan conditions (also called weak Kan condition): every inner horn in ''C'', namely a map of simplicial sets
where