I presume it is a canonical joke but I had to chuckle at the cat-gorizers =D
If you think about programmes as lambda terms then they have free variables in which you can plug values.
Flipping the red and the green light or 0 with 1 becomes less mysterious from this point of view.
Taking a fully applied category/compositionality point of view we could be looking at “open systems” (so systems with input and output ports) and see how they compose.
Excellent post Adam!
I presume it is a canonical joke but I had to chuckle at the cat-gorizers =D
If you think about programmes as lambda terms then they have free variables in which you can plug values. Flipping the red and the green light or 0 with 1 becomes less mysterious from this point of view.
Taking a fully applied category/compositionality point of view we could be looking at “open systems” (so systems with input and output ports) and see how they compose.
Thanks! Sounds like I need to have a better understanding of lambda calculus, and as always, category theory :)