📕 subnode [[@flancian/category theory]]
in 📚 node [[category-theory]]
-
a [[tool]]
- [[math]]
- [[wp]] https://en.wikipedia.org/Category_Theory
-
[[pull]] [[mini curriculum on applied category theory and engineering design]]
-
[[seven sketches in compositionality]] 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
-
[[seven sketches in compositionality]] is an introductory book on category theory from a unique applied perspective
- [[pull]] [[category theory basics]]
📄
pushed from garden/flancian/journal/2022-08-06.md by @flancian
-
#push [[category theory]]
- thought of [[graph]] / [[hypergraph]] as categories
- bought [[topoi]] by [[robert goldblatt]]
📄
pushed from garden/flancian/journal/2023-01-23.md by @flancian
-
#push [[category theory]]
-
resources
- [[ncatlab]] ~ https://ncatlab.org
- papers
-
resources
📄
pushed from garden/flancian/journal/2023-03-03.md by @flancian
-
#push [[Category Theory]]
-
Continuing reading [[A Rosetta Stone]]: https://via.hypothes.is/https://arxiv.org/pdf/0903.0340.pdf
- After 1.5y (!) -- time flies indeed.
-
Re-read [[cobordism]] as it keeps being hard to grasp :) I think I need to review more examples of the [[cobordism]] category?
- It's striking that one of the canonical representations of a cobordism looks like a pipe forking. Yesterday night I was reading/writing about [[flow networks]].
- Is category theory the study of change?
-
-
Continuing reading [[A Rosetta Stone]]: https://via.hypothes.is/https://arxiv.org/pdf/0903.0340.pdf
📄
pushed from garden/flancian/category theory for engineers.md by @flancian
- [[push]] [[category theory]]
📄
pushed from garden/flancian/category theory for programmers.md by @flancian
📄
pushed from garden/flancian/simulation.md by @flancian
-
#push [[category theory]]
-
What if things [[isomorphic]] to each other are, in a way, near each other in the [[multiverse]]?
- If the fact that they are the same shape means they are near to each other in the [[library of babel]].
- Or the [[library of mendel]].
-
What if things [[isomorphic]] to each other are, in a way, near each other in the [[multiverse]]?
📖 stoas
- public document at doc.anagora.org/category-theory
- video call at meet.jit.si/category-theory