C-system of a module over a $Jf$-relative monad
From MaRDI portal
Publication:6269946
DOI10.1016/j.jpaa.2022.107283zbMath1507.18009arXiv1602.00352MaRDI QIDQ6269946
Publication date: 31 January 2016
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