January 23, 2013
basic. objects, morphisms, functors understood.
not as much. OK with Empty type, Unit type, injections, stuff like that. Know some logic.
Haskell programmer by day. Know linear algebra, convex analysis and related topics. Use them via Haskell.
Hi. I am a functional programmer and startup founder if that makes any sense.