2000 character limit reached
Cartesian cubical model categories
Published 1 May 2023 in math.CT, math.AT, and math.LO | (2305.00893v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.