nLab bicategory of maps

Definition

If $K$ is a bicategory, then a morphism $f \colon a \to b$ is called a map if it has a right adjoint $f^* \colon b \to a$. (This is in slight contrast to the common usage of “map” to denote simply a morphism in any category.)

The bicategory $Map K$ is the locally full sub-2-category of $K$ determined by the maps.

Examples

• In the bicategory Rel of sets and relations, a relation is a map if and only if it is the graph of a function. Consequently, $Map Rel$ is equivalent to Set.

• Similarly, if $C$ is a category with finite limits, then there is a bicategory $Span C$ of spans in $C$. The bicategory $Map Span C$ is equivalent to $C$.

• In the bicategory Prof of categories and profunctors (perhaps enriched), if $B$ is a Cauchy complete category, then a profunctor $A\to B$ is a map if and only if it is represented by a functor $A\to B$. If $B$ is not Cauchy complete, then maps $A\to B$ correspond to functors from $A$ to the Cauchy completion of $B$.

Properties

If every map in $K$ is comonadic? and $Map K$ has a terminal object, then $Map K$ is equivalent to a $1$-category. If in addition $K$ is a cartesian bicategory and every comonad in $K$ has an Eilenberg–Moore object, then $K$ is biequivalent to $Span Map K$, $Map K$ having finite limits. The converse is true if pullback squares in $Map K$ satisfy the Beck–Chevalley condition in $K$, i.e. if their mates are invertible (see [LWW10]).

$Map K$ is a regular category if and only if $K$ is a unitary tabular allegory, equivalently a bicategory of relations in which every coreflexive morphism? splits. In that case $Rel Map K \simeq K$.

Similarly, $Map K$ is a topos if and only if $K$ is a unitary tabular power allegory.

Maps and equipments

A 2-category equipped with proarrows is, by definition, a bijective-on-objects pseudofunctor $K\to M$ such that the image of every arrow in $K$ is a map in $M$. Equivalently, therefore, it is a bijective-on-objects pseudofunctor $K\to Map M$.

Hence the inclusion $Map M \to M$ is the “universal” proarrow equipment that can be constructed with a given bicategory $M$ as its bicategory of proarrows. More precisely, there is a forgetful functor from $Equip$ to $Bicat$ which remembers only the bicategory $M$ of proarrows, and the assignment of $M$ to $Map M \to M$ is its right adjoint.

A lot of work in bicategories that makes use of maps can easily be reformulated in a proarrow equipment. One advantage of proarrow equipments over bicategories of maps is they can distinguish between a category and its Cauchy completion (as objects of Prof).

See also

• category of maps

References

• Carboni, Walters, Cartesian bicategories I, JPAA 49, 1987.

• Lack, Walters, Wood, Bicategories of spans as cartesian bicategories, TAC 24(1), 2010.