3 ms·
Catlab.jl: Experimental framework for applied category theory
- ChrisRackauckas 7y agoNice to see more symbolic work going on in Julia. It's kind of the wild west where tons of fast computational algebra libraries are being generated, and each does something unique and specific. I think someone might need to take them all and generate a SAGE-like pure Julia system sooner or later.
- xvilka 7y agoSeems a good time for adding a Julia flavor for Category Theory for Programmers[1] book. Similar to what was done recently with Scala[2], and now work-in-progress OCaml[3] flavor. [1] https://github.com/hmemcpy/milewski-ctfp-pdf/ https://github.com/hmemcpy/milewski-ctfp-pdf/ [2] https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1.2.1 https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1... [3] https://github.com/hmemcpy/milewski-ctfp-pdf/issues/169#issuecomment-485222964 https://github.com/hmemcpy/milewski-ctfp-pdf/issues/169#issu...
- Jeff_Brown 7y agoWhat's it for -- that is, what is applied category theory? Could using this library help me understand, say, prisms and traversals in Haskell?
- wisnesky 7y agoHere is a short course on applied category theory: https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/ https://ocw.mit.edu/courses/mathematics/18-s097-applied-cate...