Skip to content

Workshop 3 - Computational Category Theory

Open the GitHub repo, and start a codespace to try out julia + catlab.jl.

Try out the examples in the catlab docs, these include:

  • finite sets
  • preorders
  • symmetric monoidal categories