Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
higher category theory concept |
| gptkbp:alsoKnownAs |
gptkb:quasi-category
weak Kan complex |
| gptkbp:citation |
Jacob Lurie, Higher Topos Theory, Annals of Mathematics Studies, 2009.
André Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra, 175(1-3):207–222, 2002. |
| gptkbp:definedIn |
simplicial set satisfying the inner horn filling condition
|
| gptkbp:field |
gptkb:category_theory
homotopy theory |
| gptkbp:generalizes |
gptkb:dictionary
Kan complex |
| https://www.w3.org/2000/01/rdf-schema#label |
Joyal's quasi-category
|
| gptkbp:introduced |
gptkb:André_Joyal
|
| gptkbp:introducedIn |
1980s
|
| gptkbp:relatedTo |
([Kan complex
([model category ([simplicial set ([∞-category |
| gptkbp:usedIn |
homotopy theory
higher category theory |
| gptkbp:bfsParent |
gptkb:∞-categories
|
| gptkbp:bfsLayer |
8
|