February 27th, 2016, 10:09 pm (no subject) Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus: Tags maps, math