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

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023