topos-catcolab
OfficialReal-time collaborative category theory modeling.
Authorplurigrid
Version1.0.0
Installs0
System Documentation
What problem does it solve?
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.
Core Features & Use Cases
- Real-time collaboration using Automerge CRDT
- Community model building, double categories, stock-and-flow epidemiology
- Diagram notebook editors and analysis notebook for simulations
- Interoperable core engine (Rust/WASM) with backend persistence
Quick Start
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.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: topos-catcolab Download link: https://github.com/plurigrid/asi/archive/main.zip#topos-catcolab Please download this .zip file, extract it, and install it in the .claude/skills/ directory.