Symmetric cubical sets

DOI10.1016/J.JPAA.2010.08.001MaRDI QIDQ531321zbMATH OpenOpenAlexFDO

Publication date 29 April 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.4948

Enriched categories (over closed or monoidal categories) (18D20) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We introduce a new cubical model for homotopy types. More precisely, we'll define a category Qs with the following features: Qs is a PROP containing the classical box category as a subcategory, the category Qs-Set of presheaves of sets on Qs models the homotopy category, and combinatorial symmetric monoidal model categories with cofibrant unit all have homotopically well behaved Qs-Set enrichments.

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.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Symmetric cubical sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q531321)