๐ 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/aninvitationtoappliedcategorytheory/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]]
๐
text contributed by @agora@botsin.space
๐
๐
text contributed by @an_agora@twitter.com
๐
โญ wormhole to [[category theory basics]] built by an Agora user
โญ wormhole to [[mini curriculum on applied category theory and engineering design]] built by an Agora user
Loading context... (requires JavaScript)
๐ stoas (collaborative spaces) for [[category theory]]
 Open document (Hedgedoc) at https://doc.anagora.org/categorytheory
 Video call (Jitsi) at https://meet.jit.si/categorytheory
๐ full text search for [[category theory]]