Cartesian double theories

[epatters]

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