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

# Finite trees as initial algebra

1

1

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