C-system of a module over a $Jf$-relative monad

DOI10.1016/j.jpaa.2022.107283zbMath1507.18009arXiv1602.00352MaRDI QIDQ6269946

Vladimir Voevodsky

Publication date: 31 January 2016

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

This page was built for publication: C-system of a module over a $Jf$-relative monad