An adjunction is comonadic when the comparison from its left-hand category to coalgebras for the induced comonad is an equivalence. The dual Beck theorem tests this using reflected isomorphisms and suitable equalizers.
Articles by others on the same topic
There are currently no matching articles.