Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:defines |
simplicial objects
homotopy coherence |
gptkbp:field |
gptkb:topology
gptkb:category_theory |
gptkbp:generalizes |
gptkb:dictionary
nerve of a category |
gptkbp:hasApplication |
modeling ( , )-categories
|
gptkbp:hasVariant |
gptkb:complete_Segal_space
|
https://www.w3.org/2000/01/rdf-schema#label |
Segal space
|
gptkbp:introducedIn |
1974
|
gptkbp:namedAfter |
gptkb:Graeme_Segal
|
gptkbp:relatedTo |
homotopy theory
simplicial space |
gptkbp:usedIn |
higher category theory
|
gptkbp:bfsParent |
gptkb:Higher_category_theory
|
gptkbp:bfsLayer |
7
|