Statements (18)
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 |
https://www.w3.org/2000/01/rdf-schema#label |
complete Segal space
|
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
gptkb:Segal_space |
gptkbp:bfsLayer |
8
|