Crash Course Category Theory – C3T(discourse.julialang.org)
discourse.julialang.org
Crash Course Category Theory – C3T
https://discourse.julialang.org/t/ann-c3t-crash-course-category-theory/73392
3 comments
Sorry for the offtopicness but could you please email [email protected]? I want to send you a repost invite.
I highly recommend "Evan Patterson: Realizing Applied Category Theory in Julia"[0]
It's an intro to Catlab.jl with motivations.
[0] https://www.youtube.com/watch?v=7dmrDYQh4rc
It's an intro to Catlab.jl with motivations.
[0] https://www.youtube.com/watch?v=7dmrDYQh4rc
Hey earley!
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.
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.
Small world :-)
It's great to see more applied and applications of category theory.
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/