Crash Course Category Theory – C3T

https://discourse.julialang.org/t/ann-c3t-crash-course-category-theory/73392

by thecedarprince • 5 years ago

30 5 5 years ago

discourse.julialang.org

dang• 5 years ago

Sorry for the offtopicness but could you please email hn@ycombinator.com? I want to send you a repost invite.

earleybird2• 5 years ago

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

thecedarprince2• 5 years ago

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.

earleybird2• 5 years ago

Small world :-) It's great to see more applied and applications of category theory.

thecedarprince2• 5 years ago

Hi folks!

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/

Crash Course Category Theory – C3T

Related Stories