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