Palo Alto, CAUSA 94301
November 26, 2012
Visiting the bay area for some time, love programming and math, have done some abstract nonesense here and there.
Have done some "abstract nonesense" during my studies. Never dedicated much time to category theory in itself, but have seen quite a few examples more from the working mathematician side of it. chased diagrams and used universal properties and the likes of it in geometry, set theory, topology, etc.
Not very familiar.
I'm pretty comfortable with Haskell, though far from an expert.