[lgdw]

If anyone is interested in Applied Category Theory, definitely check out the Topos Institute in Berkeley [1]. They do weekly seminars that they post on youtube and a really intriguing blog. I must say that David Spivak is a treasure to hear speak. 7 Sketches in Compositionality [2] was my introduction into Category Theory (written by Spivak and Brendan Fong, another member of Topos), and it really sold the idea of Category Theory as a field that's not just a mathematical meta-language but also a field that can stand on its own. I recommend it over Mac Lane's CWM if you're not a mathematician.

[1] https://topos.site/ [2] https://arxiv.org/abs/1803.05316

[zozbot234]

The nLab https://ncatlab.org/nlab/show/HomePage is a useful reference for category theory terminology and results.

[jesuslop]

Agreed on the institute and Spivak. But CWM is, er, for working mathematicians. Leinster's Basic Category Theory, or Awodey Category theory are more unassuming.

[lgdw]

Yes, that's why I recommend starting out with 7 Sketches.

[jesuslop]

Right, my mistake.