- A model for infinity categories.
-
simplicial set satisfying the weak Kan condition: inner horns admit some filler.
- An ordinary category is a simplicial set in which every inner horn admits a unique filler.
- See Joyal model structure
Used to define quasicategory.