A monadicity theorem
From MaRDI portal
Publication:4132704
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)
Cited in
(3)
This page was built for publication: A monadicity theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4132704)