March 29th, 2016

beartato phd

(no subject)

Got all done drawing up what I thought was a correct description of how to compute (in lambda-calculus terms) the vertex rotation and edge involution considered as operations that actually move around the root of a rooted map --- but realized at the last minute that I was being too sloppy about maintaining binding discipline and I probably need to go back to the drawing board.