Future work: CatColab

Collaborative, compositional notebooks for scientific modeling

Current paradigm is models of double theories which are related to models of GATs

Will use composition via dependent record types in the future