flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 15:06:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Flancian
2021-07-28 20:40:48 +02:00
parent 2269758189
commit 2664257f76
2 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
2021-07-28.md
+3 -1
View File
@@ -4,4 +4,6 @@
- [[hippie speedball]] (good) - [[hippie speedball]] (good)
- [[ethan]] - [[ethan]]
- [[ethanshamilton]] - [[ethanshamilton]]
- [[gyuri]] - [[gyuri]]
- [[boris mann]]
- [[category theory]]
category theory.md
+3 -4
View File
@@ -1,10 +1,9 @@
# Category Theory
- A [[curriculum]]. - A [[curriculum]].
- See [[mini curriculum on applied category theory and engineering]] - See [[mini curriculum on applied category theory and engineering design]]
- [[seven sketches]] an introductory book on category theory from a unique applied perspective - [[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 - 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 - ArXiv free version: https://arxiv.org/pdf/1803.05316.pdf
- Pirated final version: http://library.lol/main/C61E1736381D70DB2E3EE27829D00012 - 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 - MIT course on category theory and programming (bridging the math and programming ways of speaking) http://www.brendanfong.com/programmingcats.html
- a [[tool]]
- [[wp]] https://en.wikipedia.org/