A double profunctor can be defined in several equivalent ways. In each case, however, we must choose whether to regard the “vertical” or the “horizontal” direction as primary; applying transposes results in a different notion of double profunctor.
Since a (strict) double category is an internal category in Cat, it makes sense to define a double profunctor to be an internal profunctor in . Thus, if and are double categories, a double profunctor consists of a span in , together with actions and which are associative and commute with each other.
Another natural way to define a double profunctor is in terms of its collage. From this perspective, a double profunctor consists of a double category , together with double functors and such that:
In order to identify this with the previous definition as written, for a double category written as an internal category in , we have to write the arrows of vertically and the objects of horizontally.
Defined in this way, double profunctors can be seen to be precisely the two-sided codiscrete cofibrations in the 2-category of double categories, double functors, and horizontal transformations.
A third natural way to define double profunctors is as functors defined on . In order to make this agree with the previous two definitions, we have to consider lax double functors from to , where denotes horizontal reversal, and denotes the (pseudo) double category whose objects are sets, whose horizontal arrows are functions, and whose vertical arrows are spans.
Each of these definitions can be unraveled to give a more explicit definition, and thereby shown to be the same. Explicitly, a double profunctor consists of the following.
An ordinary profunctor , where now denotes the horizontal category of .
An ordinary profunctor .
Each is assigned a vertical source and target .
Each is assigned an identity .
If and and (hence and ), then there is a vertical composite with and .
The composition is associative and unital (with as identities), and interchanges with the action of the profunctor and the vertical composition of squares in and .
If and are strict 2-categories regarded as vertically-discrete double categories, then a double profunctor is the same as a -enriched profunctor, i.e. a strict 2-functor . There is a corresponding statement in the pseudo case (see below).
On the other hand, if and are 2-categories regarded as horizontally-discrete double categories, then a double profunctor is the same as a lax 2-functor , or equivalently a normal lax 2-functor .
The definition can be weakened to the case when the composition of and is weak in one direction or the other, or both (modulo a suitable definition of the latter situation, see double category for several possibilities).
The internal definition can easily be weakened in the case when and are horizontally pseudo, since then they are simply pseudo internal categories in .
The collage definition, on the other hand, can easily be weakened to the case when and are vertically pseudo, by looking at codiscrete cofibrations in the 2-category of vertically-pseudo double categories, pseudo double functors, and horizontal transformations. The explicit description of the collages could also be given for horizontally or doubly pseudo double categories, although in those cases it would be harder to identify them with codiscrete cofibrations, since horizontal transformations would no longer be the 2-cells in a 2-category (only a tricategory of some sort).
The Span-valued double functor definition makes perfect sense as written if and are vertically pseudo, and also if they are horizontally or doubly pseudo, modulo a suitable definition of “vertically lax functor” in the latter two cases.
The explicit definition can also easily be weakened, with an insertion of coherence isomorphisms for and in appropriate places.
There is also a natural notion of profunctor between virtual double categories, namely the proarrows in the virtual equipment whose objects are virtual double categories (here is the free-category monad on ). If and are (possibly vertically pseudo) double categories, regarded as vertically-virtual double categories, then any double profunctor in the sense of the above definitions can also be considered as a “virtual-double profunctor” in a straightforward way. However, not every virtual-double profunctor between double categories is a double profunctor; those that are are those satisfying a “representability” property.
Composition of double profunctors is, unfortunately, hard to define and not well-behaved. Several of the above definitions suggests a possible way to compose them, but not all of these definitions work. In particular, there is not a double category of double categories, double functors, and double profunctors.
For instance, internal profunctors can be composed, using a coequalizer, in any category which has coequalizers preserved by pullback—but while has coequalizers, they are not preserved by pullback, so this does not work. (This failure has nothing to do with strictness or weakness; 2-colimits in are also not preserved by 2-pullbacks.)
This definition does, however, suggest a replacement for the nonexistent double category of double profunctors. Namely, internal categories, functors, and profunctors in any category with pullbacks always form a virtual double category, and in fact a virtual equipment. Thus, in particular, there is a virtual equipment of double categories, double functors, and double profunctors. In terms of the explicit definition, a cell in with some given boundary consists of:
An ordinary cell in , whose boundary is obtained by applying , and
Another ordinary cell in , whose boundary is obtained by applying , such that
Vertical sources, targets, identities, and composites are respected.
For many purposes, having a virtual equipment of double profunctors is sufficient. For instance, this is all we need in order to talk about weighted limits, and in order to define generalized multicategories. We can also use this as a setting in which to ask whether some particular pair (or string) of double profunctors might have a composite, or a “weak composite,” as described at tensor product.
The virtual equipment is also contained as a non-full sub-virtual-equipment of the virtual equipment of virtual double categories, functors, and virtual-double profunctors mentioned above.
The standard way to compose codiscrete cofibrations and is to take the pushout (or 2-pushout) and then factor as in some way such as to make codiscrete. We can do this for codiscrete cofibrations in , but the resulting composition operation is not associative, since pushouts in do not preserve the requisite factorizations.
I believe that the binary composite of double profunctors defined in this way is a “weak composite” in the virtual double category , i.e. it has a universal property relative to cells with source of length 2 only. We can likewise define basic -ary composites of codiscrete cofibrations by taking an -ary pushout and then a factorization, but for , as far as I can tell, there is little relation between these composites and . In particular, these composites form a “lax double category”, whereas a virtual double category with all weak composites can be identified with an “oplax double category.” I also don’t know whether the cells in with source of length can be seen from the perspective of collages.