Finite trees as initial algebra

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

Advertisements