[HN Gopher] Crash Course Category Theory - C3T
       ___________________________________________________________________
        
       Crash Course Category Theory - C3T
        
       Author : thecedarprince
       Score  : 16 points
       Date   : 2021-12-21 19:11 UTC (3 hours ago)
        
 (HTM) web link (discourse.julialang.org)
 (TXT) w3m dump (discourse.julialang.org)
        
       | thecedarprince wrote:
       | 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/
        
       | dang wrote:
       | Sorry for the offtopicness but could you please email
       | hn@ycombinator.com? I want to send you a repost invite.
        
       | earleybird wrote:
       | 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
        
         | thecedarprince wrote:
         | 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.
        
       ___________________________________________________________________
       (page generated 2021-12-21 23:02 UTC)