Cartesian double theories: A double-categorical framework for categorical doctrines

Michael Lambert, Evan Patterson

The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce…