Symmetric cubical sets (Q531321): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 08:54, 1 July 2023
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