3 ms·
i'm not sure what you need to learn category theory (but i'm working on it). so far it seems you need a to be able to write and read proofs, and not much else.
by pasquinelli 13y ago
i'm not sure what you need to learn category theory (but i'm working on it). so far it seems you need a to be able to write and read proofs, and not much else.
of course, that doesn't have much to do with haskell, but if you have an interest in abstract algebra beyond its applicability in haskell, you're in luck, because it doesn't seem to require much background. all it needs is for your head asplode.
caveat: i've tried to learn category theory, and found that i could barely follow a proof, let alone write one. so i picked up a book:
http://www.pearsonhighered.com/educator/product/Mathematical-Proofs-A-Transition-to-Advanced-Mathematics-2E/9780321390530.page http://www.pearsonhighered.com/educator/product/Mathematical...
and i'm working through it now. i could come back to category theory and find that i'm still lost, but i don't think so.
i haven't really had much trouble writing haskell without a decent math background.