Enable collaborative category-theory modeling with real-time Automerge CRDT synchronization.
npx skills add https://github.com/plurigrid/asi --skill topos-catcolab
Please help me install this Agent Skill. Skill: topos-catcolab Source: https://github.com/plurigrid/asi/tree/main/skills/topos-catcolab Command: npx skills add https://github.com/plurigrid/asi --skill topos-catcolab
CatColab enables collaborative conceptual modeling in formal category theory, reducing isolated modeling work and enabling communities to co-create diagrams and theories in real time.
Launch CatColab workspace and invite collaborators. Open the ModelNotebookEditor and begin defining objects and morphisms using the UI. Or call the WASM API to create a new model with initial cells.
High-intent search queries and answers about installing and using this skill.
Real-time collaborative diagramming uses Automerge CRDT to synchronize changes across collaborators in real time. Launch CatColab, invite collaborators to your workspace, and open the ModelNotebookEditor to define objects and morphisms together without conflicts or manual merging.
Yes. Automerge CRDT handles concurrent edits from multiple contributors, automatically resolving conflicts and maintaining consistency. CatColab applies this to community model-building, double categories, and stock-and-flow epidemiology workflows.
CatColab includes ModelNotebookEditor for defining category theory objects and morphisms, DiagramNotebookEditor for visual representation, and AnalysisNotebookEditor for running simulations and analysis on your models.
CatColab's interoperable core engine built in Rust and WASM supports Julia interop, enabling you to call Julia code for formal computations and ODE integration within your collaborative modeling environment.
Yes. CatColab provides server persistence with authentication to ensure your models are saved securely and only accessible to authorized collaborators, supporting asynchronous and real-time workflows across sessions.
Formal category theory modeling reduces isolated work by enabling communities to co-create conceptual frameworks in real time. CatColab applies this to stock-and-flow epidemiology, double categories, and collective model-building where shared semantics and visual clarity matter.
DanielMSchmidtManage Weave Steps research on CRDT engineering patterns and product increments.
ddempseyValidates physics consistency and mass balance in the 0-D CO2 lumped-parameter model.
JCETools-PetraBuild and optimize Rust-to-WASM modules with wasm-bindgen and wasm-opt.
OpenDCAIImplement real-time communication using SSE, WebSocket, WebRTC, and CRDTs.
