Bartosz Milewski - Category Theory for Programmers
On Natural transformations, see Two Introductions To Category Theory:
This lecture series is based on his book Category Theory for Programmers.
I once wrote (in La Paz in 2010 some time) a fairly short program using Moscow ML's higher-order functors which I found I could use to produce a weird axiomatization of Peano Arithmetic starting with the definition of exponentiation and then defining multiplaction and addition in terms of exponentiation. I don't have that code anymore, but I guess it's "out there" somewhere.
Comments
Post a Comment