5 ms·

Crash Course Category Theory – C3T

earleybird 5y 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 https://www.youtube.com/watch?v=7dmrDYQh4rc
- thecedarprince 5y 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.
  - earleybird 5y ago
    Small world :-) It's great to see more applied and applications of category theory.
thecedarprince 5y 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 https://github.com/AlgebraicJulia/Catlab.jl 4. Semagrams.jl: https://github.com/AlgebraicJulia/Semagrams.jl https://github.com/AlgebraicJulia/Semagrams.jl Feel free to star or follow this repository here: https://github.com/TheCedarPrince/C3T 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/ http://jacobzelko.com/ [2] Franklin.jl: https://github.com/tlienart/Franklin.jl https://github.com/tlienart/Franklin.jl [3] Weave.jl: https://github.com/JunoLab/Weave.jl https://github.com/JunoLab/Weave.jl [4] Julia Markdown: http://weavejl.mpastell.com/stable/chunk_options/ http://weavejl.mpastell.com/stable/chunk_options/
dang 5y ago
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 https://www.youtube.com/watch?v=7dmrDYQh4rc

thecedarprince 5y 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.
- earleybird 5y ago
  Small world :-) It's great to see more applied and applications of category theory.

thecedarprince 5y 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 https://github.com/AlgebraicJulia/Catlab.jl 4. Semagrams.jl: https://github.com/AlgebraicJulia/Semagrams.jl https://github.com/AlgebraicJulia/Semagrams.jl Feel free to star or follow this repository here: https://github.com/TheCedarPrince/C3T 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/ http://jacobzelko.com/ [2] Franklin.jl: https://github.com/tlienart/Franklin.jl https://github.com/tlienart/Franklin.jl [3] Weave.jl: https://github.com/JunoLab/Weave.jl https://github.com/JunoLab/Weave.jl [4] Julia Markdown: http://weavejl.mpastell.com/stable/chunk_options/ http://weavejl.mpastell.com/stable/chunk_options/

dang 5y ago

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