Crash Course Category Theory – C3T(discourse.julialang.org) |
Crash Course Category Theory – C3T(discourse.julialang.org) |
Author of C3T here! [1] This is very much a work in progress project focused on creating accessible materials on Category Theory to get started, fast! My perspective comes from a non-maths background and making this approachable for folks in similar positions but are curious about what Category Theory is.
The website is made using Literate Programming tools [2, 3, 4] and utilizes both the Julia and Haskell programming language. Currently, I am working on putting together notes for the following resources:
1. Category Theory for Programmers by Bartosz Milewski
2. Category Theory for the Science by David Spivak
3. Catlab.jl: https://github.com/AlgebraicJulia/Catlab.jl
4. Semagrams.jl: https://github.com/AlgebraicJulia/Semagrams.jl
Feel free to star or follow this repository here: https://github.com/TheCedarPrince/C3T To keep track of what happens to it.
Please open issues, suggestions or thoughts on it!
~ tcp
[1] More about me: http://jacobzelko.com/
[2] Franklin.jl: https://github.com/tlienart/Franklin.jl
[3] Weave.jl: https://github.com/JunoLab/Weave.jl
[4] Julia Markdown: http://weavejl.mpastell.com/stable/chunk_options/
It's an intro to Catlab.jl with motivations.
I work with Evan - his stuff is great. :) This was designed to give more of a hands-on approach to category theory with the idea of Catlab.jl being used where applicable.