February 24th, 2016

beartato phd

(no subject)

Had a really interesting mini-breakthrough thinking about that planar-map-lambda calculus correspondence that I've been obsessed with for the past couple weeks:

When you pick the correct ordering-convention (I'd been working with the "wrong" one, at least for this purpose) you can manipulate normal terms into the image of the usual trinity embedding of general-valency planar maps into trivalent planar maps: