The notion of cograph of a functor is dual to that of graph of a functor: for a functor between n-categories is the fibration classified by the profunctor correspondence . But also determines a morphism from the interval category . The cograph of is the fibration classified by .
Recall that the graph of a function is the subset determined by the monomorphism . This makes sense in any category with products. Under one definition, the notion of cograph of a function is the categorically dual notion: it is the quotient determined by the epimorphism .
A more vivid presentation of cograph is given by the pictures we draw of functions : as directed graphs (in the graph-theoretic sense!) whose vertices are elements in , with an edge drawn from to for each in . This can also be conceived as a poset with underlying set , in which and all other instances of are the reflexive ones. The connected components function is then the cograph in the sense given above.
In this article we give a definition of cograph which generalizes this poset picture of cograph of a function, and which applies to any functor between -categories.
Cographs of functors between 0-categories
In the case that are 0-categories, i.e. sets, a functor is just a function between sets. The cograph 2-pullback
is computed by the ordinary pullback
and identifies with the category of elements of , as described there: the objects of are the disjoint union of and : and the nontrivial morphisms are of the form whenever , and .
What Bill Lawvere called the cograph of a function is the connected components of this category.
Cographs of functors between 1-categories
For an ordinary functor, is the category with and with
with composition defined as induced from , from , and from the action of . This is a special case of the cograph of a profunctor, specialized to the representable profunctor .
This cograph is denoted in section 2.3.1 (_Correspondences_) in
where it is understood as a generalization of the join of simplicial sets and where it serves as a motivation for the study of cographs of functors between (∞,1)-categories discussed below.
Adjoint functors in terms of cographs
As emphasized in the beginning of section 5.2 there, cographs of functors may be used to characterize adjoint functors. This is just one way of stating the characterization of adjoints in terms of profunctors (which in turn makes sense in any 2-category equipped with proarrows).
Two functors and are adjoint functors precisely if and are isomorphic under and :
where the isomorphism is in the co-slice category .
More precisely, there is a bijection between adjunctions and isomorphisms as above.
The category is the category with and with
(This set is also called the set of heteromorphisms between objects in and .)
The category accordingly is the category with and with
Evidently these categories are isomorphic under and precisely if for all we have
naturally in and . It is natural because the isomorphism is an isomorphism of categories, and the functoriality of and is encoded by composition in the cograph. Of course, such a natural isomorphism is precisely the structure of an adjunction .
Note also that just as is the cograph of the profunctor , also is the cograph of the profunctor . Thus, this theorem can be viewed as one way of stating the characterization of adjunctions in terms of homsets, as can be formulated in terms of profunctors in any 2-category equipped with proarrows.
Cographs of functors between -categories
In the context of (∞,1)-category theory there is a good theory of Cartesian fibrations and of their classification by (∞,1)-functors to the (∞,1)-category of (∞,1)-categories as described at universal fibration of (∞,1)-categories.
Accordingly, the above notion of cograph of a functor has a direct generalization to (∞,1)-functors:
For an (∞,1)-functor, identified with a morphism
in the (∞,1)-category of (∞,1)-categories, it cograph is the Cartesian fibration classified by it. In terms of the universal fibration of (∞,1)-categories this is the homotopy pullback
As for every Cartesian fibration the functor is determined uniquely up to equivalence by its cograph. In general, obtaining the classifying -functor from a given Cartesian fibration may be difficult. In the special case of cographs as Cartesian fibrations over the simple interval category it is easier. This is discussed in the following:
The notion of cographs of -functors and the theory of how to re-obtain -functors from their cographs is the content of section 5.2.1, Correspondences and associated functors, of