📚 node [[category]]
category
-
a [[thing]].
- [[pull]] [[categories]] [[category theory]]
- [[collection]] of [[objects]] and [[morphisms]].
- [[wp]] https://en.wikipedia.org/wiki/Category_(mathematics)
⥅ node [[categories]] pulled by user
categories
-
a [[list]].
- [[pull]] [[category]]
-
[[Set]]
- [[sets]] and [[set functions]]
-
[[Ring]]
- [[rings]] and [[ring homomorphisms]]
-
[[Top]]
- [[topological spaces]] and [[continuous maps]]
⥅ node [[category-theory]] pulled by user
-
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]]
📖 stoas
- public document at doc.anagora.org/category
- video call at meet.jit.si/category
⥱ context
⥅ related node [[an invitation to applied category theory]]
⥅ related node [[category theory basics]]
⥅ related node [[category theory for engineers]]
⥅ related node [[category theory for programmers]]
⥅ related node [[category theory]]
⥅ related node [[20200708122545 category_theory]]
⥅ related node [[20210116154952 category]]
🔎 full text search for 'category'