vault backup: 2021-07-28 20:41:48

This commit is contained in:
2021-07-28 20:41:48 +02:00
parent 2664257f76
commit b5f88534ea
+11 -8
View File
@@ -1,9 +1,12 @@
- A [[curriculum]].
- See [[mini curriculum on applied category theory and engineering design]]
- [[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
- a [[tool]] - a [[tool]]
- [[wp]] https://en.wikipedia.org/ - [[math]]
- [[wp]] https://en.wikipedia.org/Category_Theory
- [[go]] [[wp]]
- [[pull]] [[mini curriculum on applied category theory and engineering design]]
- [[category]]
- [[seven sketches]] is 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