Crash Course Category Theory – C3T (opens in new tab)

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/

Sorry for the offtopicness but could you please email hn@ycombinator.com? 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