CatColab

CatColab is a collaborative development environment for building formal, interoperable conceptual models using category theory. It is designed for researchers, engineers, and domain experts who need to create, share, and reason about complex, mathematically rigorous models across different fields. Its interest lies in enabling real-time, multi-user modeling with built-in type-checking and automatic translation between modeling languages, bridging the gap between abstract theory and practical tooling.