A co-reflection of cubical sets into simplicial sets with applications to model structures

zbMath1437.55028arXiv1906.09203MaRDI QIDQ2329069

Zachery Lindsey, Krzysztof Kapulkin, Liang Ze Wong

Publication date: 17 October 2019

Published in: The New York Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

simplicial setsmodel categoriescubical sets

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Related Items (2)

Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories ⋮ The uniform homotopy category

Uses Software

• cubicaltt

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cubical approximation for directed topology. I
• Categorical homotopy theory
• Cubical Type Theory: a constructive interpretation of the univalence axiom
• Lifting accessible model structures
• A cubical approach to straightening
• A necessary and sufficient condition for induced model structures
• ABSTRACT HOMOTOPY

This page was built for publication: A co-reflection of cubical sets into simplicial sets with applications to model structures