In the last Theory Lunch session I talked about a category theoretic approach to finite trees. 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