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 is a category, we indicate by the collection of objects of , and by the collection of morphisms in from to .

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