Tags #todo/untagged Refs: #todo/add-references Links: Barr-Beck monad Algebras over monads Free resolutions Examples Adjunctions Recognition theorem See Morita equivalence