Title:Instances of models of double-categorical theories

Abstract:We contribute a chapter in common to categorical database theory and to the study of higher morphisms between double categories. The common thread here is the notion of instance, or right module, which we generalize from functors from a plain category into Set to the models of a (cartesian) double theory. This provides a concept of instance for such objects as a category equipped with a monad, or a (symmetric) multicategory, recovering the multifunctors into Set in the latter case. We also show that instances of models are equivalent to an appropriate concept of discrete opfibration over that model, not recoverable as the representable discrete opfibrations in the 2-category of models. Finally, we give comprehensive factorization systems with these discrete opfibrations as the right class.