[ANN] C3T - Crash Course Category Theory 🐱

TheCedarPrince
Mon, 20 Dec 2021 19:03:17 +0000
Package Announcements

Hi all!

I have been in the process of creating a Crash Course Category Theory website called C3T which utilizes Julia, Julia Markdown, KaTeX, Franklin.jl, Weave.jl, mermaid.js, and some Haskell!

This is designed to ease novices in Category Theory, Catlab, and the AlgebraicJulia suite!
It is distinct from the AlgebraicJulia blogs as these are aimed at those without much prior knowledge of Category Theory and from less of a mathematics perspective.
The blog and C3T may merge in the future but for now, they are separate.

Currently, we have some notes on the textbook, Category Theory for Programming by Bartosz Milewski with answered challenges in Julia.
Right now making some notes on Catlab and Attributed C-Sets (ACSets) for future reference.
Feel free to take a look at it as in the future, I intend on keeping this updated.
Let me know if you have any thoughts, questions, or concerns.

Thanks all!

~ tcp

P.S. If you are interested in contributing, feel free to open issues, PRs, or discuss here: GitHub - TheCedarPrince/C3T: C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

P.P.S. Additional discussion here: https://julialang.zulipchat.com/#narrow/stream/230248-catlab.2Ejl/topic/Crash.20Course.20Category.20Theory.20.28C3T.29/near/265602937

Addendum: This website is thanks to the wonderful work done by @tlienart in Franklin.jl, @pfitzseb and the Juno Team in Weave.jl, and @jpfairbanks and the AlgebraicJulia team!

5 posts - 2 participants

Read full topic