Symmetric cubical sets

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

Authors Samuel B. Isaacson

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

Mathematics Subject Classification ID

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

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.

Recommendations

• Cubical model categories and quasi-categories
• Varieties of cubical sets
• The role of symmetries in cubical sets and cubical categories. (On weak cubical categories. I)
• A co-reflection of cubical sets into simplicial sets with applications to model structures
• Nominal presentation of cubical sets models of type theory

Cites work

• scientific article; zbMATH DE number 2132154 (Why is no real title available?)
• scientific article; zbMATH DE number 3536300 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 1924514 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• A reflection theorem for closed categories
• A universal property of the convolution monoidal structure
• Algebras and Modules in Monoidal Model Categories
• Categorical homotopy theory
• Colimit theorems for relative homotopy groups
• Combinatorial model categories have presentations
• Crossed Simplicial Groups and their Associated Homology
• Cubical Abelian groups with connections are equivalent to chain complexes
• Grothendieck's homotopy theory
• Higher algebraic K-theory: I
• Homotopical algebra
• Homotopy invariant algebraic structures on topological spaces
• On absolute colimits
• On an extension of the notion of Reedy category
• On c.s.s. Complexes
• On the algebra of cubes
• Presheaves as models for homotopy types
• Semi-simplicial complexes and singular homology
• Sheafifiable homotopy model categories
• Simplicial homotopy theory
• The cubical category with connections is a strict test category
• The geometry of iterated loop spaces
• Théories homotopiques dans les topos. (Homotopy theories in topoi)

Cited in

(13)

• A co-reflection of cubical sets into simplicial sets with applications to model structures
• A cubical approach to straightening
• Homotopy theory of labelled symmetric precubical sets
• Homology for higher-rank graphs and twisted \(C^*\)-algebras
• Higher order derived functors and the Adams spectral sequence
• Reedy categories and the \(\varTheta\)-construction
• scientific article; zbMATH DE number 1924514 (Why is no real title available?)
• Cubical models of higher categories without connections
• The role of symmetries in cubical sets and cubical categories. (On weak cubical categories. I)
• Varieties of cubical sets
• Nominal presentation of cubical sets models of type theory
• scientific article; zbMATH DE number 3944843 (Why is no real title available?)
• Symmetric cubic laminations

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)