Finite trees as initial algebra

In the last Theory Lunch session I talked about a category theoretic approach to finite trees. Continue reading

Advertisements

If monads are about syntax then algebras are about semantics

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