Cartesian double theories are a new framework for doctrines based on double-categorical functorial semantics.
This is a companion discussion topic for the original entry at https://www.epatters.org/post/cartesian-double-theories
Cartesian double theories are a new framework for doctrines based on double-categorical functorial semantics.