Subnode [[@flancian/category-theory]] in node [[category-theory]]
from garden/flancian/category-theory.md by @flancian
from garden/flancian/category-theory.md by @flancian
Category Theory
-
A [[curriculum]].
- See [[mini curriculum on applied category theory and engineering]]
-
[[seven sketches]] an introductory book on category theory from a unique applied perspective
- At Cambridge University Press: https://www.cambridge.org/core/books/an-invitation-to-applied-category-theory/D4C5E5C2B019B2F9B8CE9A4E9E84D6BC
- ArXiv free version: https://arxiv.org/pdf/1803.05316.pdf
- Pirated final version: http://library.lol/main/C61E1736381D70DB2E3EE27829D00012
- MIT course on category theory and programming (bridging the math and programming ways of speaking) http://www.brendanfong.com/programmingcats.html