A quasi-category is a simplicial set in which every inner horn has a filler. This condition ensures that higher composition exists up to coherent homotopy.
Intuition
- Vertices represent objects.
- Edges represent 1-morphisms.
- Higher simplices encode higher morphisms and their coherence data.
Quasi-categories are a widely used model for infinity categories because they translate higher categorical structure into combinatorial data.