When does an endofunctor derive from an adjunction?

This is the first of two talks based on Andrea Schalk’s very good introduction to monads, which can be retrieved HERE

In the following, if \mathcal{C} is a category, we indicate by |\mathcal{C}| the collection of objects of \mathcal{C}, and by \mathcal{C}(A,B) the collection of morphisms in \mathcal{C} from A to B.

As we know, there are two basic ways of defining an adjunction: Continue reading