CatColab

Warning

CatColab is under active development with new features added regularly. We aim to preserve the integrity of your data but you should not store anything critical or sensitive.

CatColab is a collaborative environment for formal, interoperable, conceptual modeling.

Elaborating on these keywords, CatColab aims to be:

• Formal: Models created in the system, be they qualitative or quantitative, are well-defined mathematical objects that can be critiqued with clarity.
• Interoperable: Models, and the logics in which they are expressed, can be flexibly interoperated with each other, without privileging any viewpoint as primary.
• Conceptual: Each domain-specific logic in the system is well adapted to the concepts used by practitioners in that domain.
• Modeling: Constructing a model is a collaborative, ongoing process that does not require participants to have specialized technical expertise.

Versions

Two versions of CatColab are available to use:

• The production version: catcolab.org. This tracks the latest release, so it should be the most stable version.
• The development version: next.catcolab.org. This tracks the main branch of this repository, so it contains all the newest experimental features but is therefore more likely to have bugs.

A version history is maintained in the CHANGELOG.

Help and documentation

Use type	Help and documentation
General user	catcolab.org/help
Software developer	next.catcolab.org/dev
Mathematician	next.catcolab.org/math
Researcher/developer	next.catcolab.org/rfc

Citation

To cite CatColab, you can use the following biblatex entry:

@software{catcolab,
  title={{CatColab}: A collaborative environment for formal, interoperable, conceptual modeling},
  author={{The CatColab development team}},
  url={https://catcolab.org},
  note={Open source at \url{https://github.com/ToposInstitute/CatColab}},
  date={2026}
}

There is not yet a canonical publication for CatColab itself. For the research that CatColab is based on, a partial bibliography can be found in the math docs.

License

CatColab is dual-licensed under the MIT and Apache-2.0 licenses. You may use the source code of CatColab under the terms of either license.

You can find a copy of our privacy policy in PRIVACY.