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
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.)