Monad (functional programming) - Wikipedia ( en.wikipedia.org )
Lambda Calculus vs. Turing Machines (Theory of Computation) ( youtu.be )
Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb...
If "category" has a better name....
cross-posted from: https://sopuli.xyz/post/10354955...