1 --> first projection
^ --> second projection
cons --> pairing
lambda --> lambda
context cons --> product
id --> id
composition --> composition
substitution --> composition
from the lambda-sigma calculus to cartesian closed categories.
Watched one more ep of ICT and then saw "Monsters, Inc." in McConomy.
I really like how these "family" computer-animated movies really
effectively achieve a sense of humor that doesn't depend much on
sex or non-slapstick violence. Lots of little pop-culture references,
also: for a fraction of a second, one of the monsters at the end
has a hammer and a watermelon. I didn't even get that until I remembered
the scene later that night.