Structure-aware version control via observational bridge types

One of our central goals here at Topos is to enable a variety of different people with different domains of expertise and interest to collaborate on the design and analysis of conceptually defined models. For people to collaborate on the modelling process, we’ll need a version control system for models.


This is a companion discussion topic for the original entry at https://topos.site/blog/2024-11-13-structure-aware-version-control-via-observational-bridge-types/