How does the real-time collaboration work?

It utilizes Automerge CRDT technology and a WebSocket sync layer to provide a conflict-free, multi-user editing experience, similar to collaborative document editors but specialized for mathematical structures.

What is a Double Theory in CatColab?

Double theories (DOTS) provide a way to formalize models where both objects and their relationships have their own internal structure, enabling more expressive and interoperable system descriptions.

Can I run simulations with this skill?

Yes, CatColab can generate mass-action ODEs from stock and flow diagrams, allowing you to run epidemiological and dynamical system analyses directly from your models.

What is CatColab used for?

CatColab is used for collaborative categorical modeling, enabling groups to build, share, and simulate complex systems using mathematical frameworks like double theories and stock-and-flow diagrams.

Is it compatible with Julia or Catlab?

Yes, it features deep integration with the Catlab.jl ecosystem, allowing you to export CatColab models as ACSets for advanced computational analysis in Julia.

CatColab Collaborative Category Theory

Name: CatColab Collaborative Category Theory
Author: plurigrid

byplurigrid

•

Collaboration Tools

Enables real-time, multi-user construction and simulation of formal categorical models for complex systems like epidemiology and supply chains.

CatColab is an advanced modeling platform developed by the Topos Institute, designed for community-driven model building using applied category theory. By leveraging Automerge CRDTs for real-time collaboration and a high-performance Rust engine for model validation, it allows researchers and engineers to collaboratively construct double theories (DOTS), stock and flow diagrams, and complex system simulations. It bridges the gap between conceptual categorical diagrams and executable simulations like ODEs, providing a unified framework for interoperable, formal modeling across diverse domains including public health, logistics, and mechanism design.

Key Features

01Native interoperability with Catlab.jl and Julia for scientific computing

02WASM-based validation engine (catlog) for instant model elaboration

03Real-time multi-user editing with Automerge CRDT conflict resolution

042 GitHub stars

05Double Category theory (DOTS) support for hierarchical conceptual modeling

06Automated ODE generation for stock and flow epidemiological simulations

Use Cases

01Formalizing complex supply chain operations through double categorical semantics

02Collaborative diagramming of interoperable data schemas and mathematical theories

03Participatory modeling workshops for public health and disease spread analysis

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi topos-catcolab

For use in Claude.ai and ChatGPT

Download Skill