4 ms·
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
by lgdw 4y ago
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/ https://topos.site/
[2] https://arxiv.org/abs/1803.05316 https://arxiv.org/abs/1803.05316
- jesuslop 4y agoAgreed on the institute and Spivak. But CWM is, er, for working mathematicians. Leinster's Basic Category Theory, or Awodey Category theory are more unassuming.
- zozbot234 4y agoThe nLab https://ncatlab.org/nlab/show/HomePage https://ncatlab.org/nlab/show/HomePage is a useful reference for category theory terminology and results.