1: \begin{abstract}

2:   The categorified theories known as ``doctrines'' specify a category equipped

3:   with extra structure, analogous to how ordinary theories specify a set with

4:   extra structure. We introduce a new framework for doctrines based on double

5:   category theory. A cartesian double theory is defined to be a small double

6:   category with finite products and a model of a cartesian double theory to be a

7:   finite product-preserving lax functor out of it. Many familiar categorical

8:   structures are models of cartesian double theories, including categories,

9:   presheaves, monoidal categories, braided and symmetric monoidal categories,

10:   2-groups, multicategories, and cartesian and cocartesian categories. We show

11:   that every cartesian double theory has a unital virtual double category of

12:   models, with lax maps between models given by cartesian lax natural

13:   transformations, bimodules between models given by cartesian modules, and

14:   multicells given by multimodulations. In many cases, the virtual double

15:   category of models is representable, hence is a genuine double category.

16:   Moreover, when restricted to pseudo maps, every cartesian double theory has a

17:   virtual equipment of models, hence an equipment of models in the representable

18:   case. Compared with 2-monads, double theories have the advantage of being

19:   straightforwardly presentable by generators and relations, as we illustrate

20:   through a large number of examples.

21: \end{abstract}

22: