Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: practice: software

Topic: CatColab

Evan Patterson (Oct 03 2024 at 18:55):

I'm pleased to annouce a new open source software project that we're developing at Topos Institute: CatColab. The tool is under heavy development but you can play with a demo at the link above.

Evan Patterson (Oct 03 2024 at 18:55):

In one sentence, the aim is to make modeling in category-theoretic domain-specific languages accessible to people who do not necessarily have any training in category theory or mathematics generally. For more, @Kevin Carlson has written a nice blog post explaining the project and where we hope to go with it: Introducing CatColab

Georgios Bakirtzis (Oct 04 2024 at 08:45):

Great work! I can't wait to play with it when I find some time

John Baez (Feb 06 2025 at 18:49):

CatColab is software based on double categories (or more precisely double theories), created by @Evan Patterson, @Kevin Carlson and perhaps others at the Topos Institute.

v0.2 is out - read about it here:

• # CatColab 0.2: Wren

New features include:

• User accounts, permissions, and ownership
• Support for diagrams of models (e/g. instances of ologs/schemas; diagrams in discrete exterior calculus)
• Further systems dynamics features (e.g. ODE simulation for stock-flow diagrams; new variants of causal loop diagrams)
• Complete rewrite of the backend in Rust

CatColab is now a usable, but not polished, tool for co-authoring and publishing both ologs and systems dynamics models.

Kevin Carlson (Feb 06 2025 at 19:20):

Thanks for posting, John!