Report copyright - Quillen model structures on cubical sets - GitHub Pages · The rst models of HoTT were built from Quillen model categories. IA-Warren: general Quillen model structures and weak factorization
Please pass captcha verification before submit form