search

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
11 stars 4 forks source link

Doctrine of nullable signed categories #109

Closed epatters closed 3 weeks ago

epatters commented 3 weeks ago

Only in core so far, but could be used as an underlying logic for "participatory system maps," as explained in the docs.

Also implemented validation of discrete double theories.

github-actions[bot] commented 3 weeks ago

Preview url: https://66c23df29cb5a30675653cf6--catcolab.netlify.app