Symmetric cubical sets (Q531321): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
There are several well known combinatorial models for homotopy theory; simplicial sets are one, but although cubical sets do work, the ordinary definitions have some problems and the way to get around these has only recently been given by Cisiski and Maltsiniotis. The classically defined cubical sets are given as presheaves on the `box' category, \(\mathcal{Q}\), having as objects the posets \(\{0<1\}^n\). In this paper, a new category, denoted \(\mathcal{Q}_\Sigma\), of basic cubes, but with additional maps between them is introduced. This contains \(\mathcal{Q}\) as a subcategory, but is a symmetric monoidal category (in fact a \({\mathcal P}rop\)). An elementary description of it in terms of generators and relations is given. The corresponding presheaf category models the homotopy category and combinatorial, symmetric monoidal model categories with cofibrant units have homotopically well behaved enrichments over this category. | |||
Property / review text: There are several well known combinatorial models for homotopy theory; simplicial sets are one, but although cubical sets do work, the ordinary definitions have some problems and the way to get around these has only recently been given by Cisiski and Maltsiniotis. The classically defined cubical sets are given as presheaves on the `box' category, \(\mathcal{Q}\), having as objects the posets \(\{0<1\}^n\). In this paper, a new category, denoted \(\mathcal{Q}_\Sigma\), of basic cubes, but with additional maps between them is introduced. This contains \(\mathcal{Q}\) as a subcategory, but is a symmetric monoidal category (in fact a \({\mathcal P}rop\)). An elementary description of it in terms of generators and relations is given. The corresponding presheaf category models the homotopy category and combinatorial, symmetric monoidal model categories with cofibrant units have homotopically well behaved enrichments over this category. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Timothy Porter / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55U35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55U10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5882415 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964158023 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0910.4948 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheafifiable homotopy model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On an extension of the notion of Reedy category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy invariant algebraic structures on topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Colimit theorems for relative homotopy groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the algebra of cubes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cubical Abelian groups with connections are equivalent to chain complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4111748 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Théories homotopiques dans les topos. (Homotopy theories in topoi) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3424496 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A reflection theorem for closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial model categories have presentations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3160254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-simplicial complexes and singular homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed Simplicial Groups and their Associated Homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5580926 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4707052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A universal property of the convolution monoidal structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On c.s.s. Complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4679165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3374890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cubical category with connections is a strict test category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On absolute colimits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher algebraic K-theory: I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras and Modules in Monoidal Model Categories / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:41, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Symmetric cubical sets |
scientific article |
Statements
Symmetric cubical sets (English)
0 references
29 April 2011
0 references
There are several well known combinatorial models for homotopy theory; simplicial sets are one, but although cubical sets do work, the ordinary definitions have some problems and the way to get around these has only recently been given by Cisiski and Maltsiniotis. The classically defined cubical sets are given as presheaves on the `box' category, \(\mathcal{Q}\), having as objects the posets \(\{0<1\}^n\). In this paper, a new category, denoted \(\mathcal{Q}_\Sigma\), of basic cubes, but with additional maps between them is introduced. This contains \(\mathcal{Q}\) as a subcategory, but is a symmetric monoidal category (in fact a \({\mathcal P}rop\)). An elementary description of it in terms of generators and relations is given. The corresponding presheaf category models the homotopy category and combinatorial, symmetric monoidal model categories with cofibrant units have homotopically well behaved enrichments over this category.
0 references