This is the second of two talks about monads, based on the very good notes by Andrea Schalk and continuing the one I gave on the 30th of May. Recall that we are trying to solve the following problem:
given a monad , find an adjunction such that and
If the adjunction solves the problem above, we say that it generates the monad .
The first solution to this problem was given by the Swiss mathematician Heinrich Kleisli, and is based on an alternative way of defining monads, as it is the case with adjunctions. Continue reading
Today was the seventh theory lunch and the last one before christmas. So far it has been a lot of fun.
“If monads are about syntax then algebras are about semantics” – that’s the message, in this post I will attempt to illustrate it via a simple example. Continue reading
This was the third and final lunch in my series about ideal monads. I talked about how to define ideal monads correctly. My talk was based on a discussion with Tarmo Uustalu. Continue reading
Based on my recap of monads from the week before, I talked about ideal monads. Continue reading
I used the first theory lunch meeting at the Institute of Cybernetics to recap some basics about monads. I discussed how monads are defined in category theory, and how they are implemented in Haskell. Continue reading