All Questions

The concept of a monad is very well established, and there are very many examples of monads pertaining almost all areas of mathematics. The dual concept, a comonad, is less popular. What are examples ...

In the non-relative case, we have a theorem, that an Eilenberg-Moore category of algebras of a Monad $T$ on a topos is itself a topos if the monad in question has a right adjoint. Now how does this ...

Given an adjunction, we get a monad on one side and a comonad on the other side. What is the connection between their algebra and coalgebra categories? Are they always equivalent? The example i have ...