Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:citation |
Rezk, Charles. A model for the homotopy theory of homotopy theory. Trans. Amer. Math. Soc. 353 (2001), no. 3, 973–1007.
|
| gptkbp:field |
gptkb:topology
higher category theory |
| gptkbp:introduced |
gptkb:Charles_Rezk
|
| gptkbp:introducedIn |
2001
|
| gptkbp:isA |
gptkb:Segal_space
model for ( , )-category |
| gptkbp:relatedTo |
gptkb:quasi-category
simplicial space |
| gptkbp:satisfies |
Segal condition
completeness condition |
| gptkbp:usedIn |
homotopy theory
higher category theory |
| gptkbp:bfsParent |
gptkb:∞-categories
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
complete Segal space
|