1 problem

0 votes0 replies0 views
The type-theoretic algebraic weak factorisation system conjecture for simplicial objects
Let $\mathcal{E}$ be a locally cartesian closed locos with coequalisers, and let the effective model structure of Gambino, Henry, Sattler and Szumilo be given on simplicial objects…
Conjectureopenmodel-categories simplicial-objects type-theoryarXiv posted 2 days ago

The type-theoretic algebraic weak factorisation system conjecture for simplicial objects