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

JuliaLang

[ANN] C3T - Crash Course Category Theory 

Package Announcements
package, announcement, catlab, cat-theory
TheCedarPrince December 20, 2021, 7:03pm #1

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!

image
image670x894 73.2 KB

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 :deciduous_tree:

P.S. If you are interested in contributing, feel free to open issues,
PRs, or discuss here: GitHub - TheCedarPrince/C3T: Crash Course
Category Theory

P.P.S. Additional discussion here: JuliaLang

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!

7 Likes
JeffreySarnoff December 20, 2021, 7:17pm #2

Good idea. Consider copying most of index.md into README.md and as
the content develops, adding to it, so it shows up when people land
on the repo.

3 Likes
TheCedarPrince December 20, 2021, 7:17pm #3

[S:Ah let me do that right now...
Hang on!:S]

Done!

3 Likes

  * Home
  * Categories
  * FAQ/Guidelines
  * Terms of Service
  * Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled