I don’t know anything about category theory, but asides about it occur so
often in my daily practice that I really should; moreover, since i frequently
see it apply to formal syntax and network descriptions, two areas I am
interested in, I am probably therefore missing some important tools from my
toolbox if I don’t look it up.
However, I probably won’t; my supervisor is of the opinion that reading
mathematics is a waste of time that gets in the way of building maximally
parsimonious models. (I suspect we harbour different definitions of
parsimonious.)
John Baez has a wealth of, to my innocent mind, provocative uses of this
category thingy
Diagrams (in a surprsingly
broad sense of that term)
Elevator pitch
(Possibly an elevator to the core of the earth)
Networks
(Once again, a to-me amazingly general take on networks, although perhaps
that should not be surprising given the extreme generality of the tool)
Category Theory for Computing Science which is a highly
recommended textbook with a cheap cover price, but only sold through a
tedious shipping process at extortionate rates by the university of
Montreal. (Don’t bother looking on Abebooks, it’s about $US130 there too.
I imagine a thriving bootleg market for this one.)