A general formalism produces directed model structures from a cylinder object, unifying the covariant and contravariant model structures on simplicial sets and the Cartesian and coCartesian model structures on marked simplicial sets.
Les pr \'e faisceaux comme mod \`e les des types d'homotopie
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2019 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Covariant & Contravariant Homotopy Theories
A general formalism produces directed model structures from a cylinder object, unifying the covariant and contravariant model structures on simplicial sets and the Cartesian and coCartesian model structures on marked simplicial sets.