dot tumblr dot com

An illustration of the “nice bijection between the set of binary planar trees and the set of 7-tuples of such trees” from Marcelo Fiore’s paper “Isomorphisms of generic recursive polynomial types”, as discussed here.