scientific article
From MaRDI portal
Publication:3978981
zbMath0747.18005MaRDI QIDQ3978981
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Topoi (18B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
From reversible programming languages to reversible metalanguages ⋮ The Scott model of PCF in univalent type theory ⋮ Lifting as a KZ-doctrine ⋮ Variations on the bagdomain theme ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Injective types in univalent mathematics ⋮ Unnamed Item
