In the last Theory Lunch session I talked about a category theoretic approach to finite trees. Continue reading
Finite trees as initial algebra
1
In the last Theory Lunch session I talked about a category theoretic approach to finite trees. Continue reading