CABool is monadic over almost all categories
From MaRDI portal
Publication:1184039
DOI10.1016/0022-4049(92)90086-UzbMath0761.18007MaRDI QIDQ1184039
Publication date: 28 June 1992
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
monad; reflective subcategory; skeleton; equivalence of categories; comparison functor; complete atomic Boolean algebras
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Related Items
Cites Work