Statements (18)
| 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
|
| gptkbp:introducedIn |
1974
|
| gptkbp:namedAfter |
gptkb:Graeme_Segal
|
| gptkbp:relatedTo |
homotopy theory
simplicial space |
| gptkbp:usedIn |
higher category theory
|
| gptkbp:bfsParent |
gptkb:∞-categories
gptkb:Higher_category_theory |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Segal space
|