December 25, 2014
I know the definition of a category, a functor, and some examples.
I've used typed languages like Haskell, but I don't know type theory per se.
I'm comfortable with the standard functions like map, reduce, filter etc, and with ideas like currying.
No introduction yet