Presheaves on lax double functors; or, Instances of models of double theories

Kevin Carlson, Evan Patterson

We introduce a notion of (co)presheaf on a lax double functor $X$, which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued…