Cartesian cubical model categories
Category Theory
2023-07-18 v2 Algebraic Topology
Logic
Abstract
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.
Cite
@article{arxiv.2305.00893,
title = {Cartesian cubical model categories},
author = {Steve Awodey},
journal= {arXiv preprint arXiv:2305.00893},
year = {2023}
}
Comments
104 pages