Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
weak Kan complex
|
| gptkbp:appearsIn |
gptkb:Higher_Topos_Theory
Homotopy theory |
| gptkbp:doesNotNecessarilySatisfy |
outer horn filling condition
|
| gptkbp:field |
gptkb:category_theory
|
| gptkbp:formalizedAs |
simplicial set
|
| gptkbp:generalizes |
gptkb:dictionary
Kan complex |
| gptkbp:hasProperty |
models higher categories
|
| http://www.w3.org/2000/01/rdf-schema#label |
quasi-category
|
| gptkbp:introduced |
gptkb:André_Joyal
|
| gptkbp:relatedTo |
([1m∞,1[0m)-category
|
| gptkbp:satisfies |
inner horn filling condition
|
| gptkbp:studiedBy |
gptkb:Jacob_Lurie
|
| gptkbp:usedIn |
higher category theory
|
| gptkbp:bfsParent |
gptkb:∞-categories
gptkb:Higher_category_theory |
| gptkbp:bfsLayer |
8
|