Adjunction up to distributor - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T08:13:41Z http://mathoverflow.net/feeds/question/44687 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44687/adjunction-up-to-distributor Adjunction up to distributor Noam Zeilberger 2010-11-03T15:31:46Z 2010-11-03T20:51:52Z <p>Suppose we have functors $F : C \to D_1$ and $G : D_2 \to C$, together with a distributor (profunctor) $D : D_1^{\rm op} \times D_2 \to {\rm Set}$. We could define "$G$ is right adjoint to $F$ up to $D$" as the existence of a natural isomorphism $C(c, Gd) \cong D(Fc, d)$. We could also consider generalizing this by replacing $C$ by two categories $C_1$ and $C_2$ related by a distributor. Question: has this sort of "adjunction up to distributor" been studied somewhere, and/or is there a better way of formulating it?</p> http://mathoverflow.net/questions/44687/adjunction-up-to-distributor/44721#44721 Answer by Todd Trimble for Adjunction up to distributor Todd Trimble 2010-11-03T20:26:34Z 2010-11-03T20:51:52Z <p>I will slightly modify my earlier answer which I retracted. There is the notion of <i>collage</i> of a profunctor $R: C^{op} \times D \to Set$, a category whose collection of objects is $Ob(C) \sqcup Ob(D)$, and where $\hom(x,y) = \hom(x,y)$ if $x$ and $y$ are both objects of $C$ or both objects of $D$, where $\hom(x,y) = R(x,y)$ if $x \in Ob(C)$ and $y \in Ob(D)$, and $\hom(x,y)$ is empty if $x \in Ob(D)$ and $y \in Ob(C)$. Composition is just as you'd expect. </p> <p>Now, in Noam's notation, consider taking the collage of the profunctor $R = D \circ F^{op}: C^{op} \times D_2 \to Set$ (the composition here is profunctor composition). There is an obvious inclusion functor $i: C \to Coll(R)$ (acting as the identity on objects and morphisms). Then Noam's "right adjoint $G$ of $F$ up to $D$" is essentially equivalent to an ordinary right adjoint $G'$ to the inclusion $i$. For such a $G': Coll(D \circ F^{op}) \to C$, there are natural isomorphisms </p> <p>$$Coll(D \circ F^{op})(ic, c') \cong C(c, G'c')$$ </p> <p>$$Coll(D \circ F^{op})(ic, d') \cong C(c, G'd')$$ </p> <p>($c' \in Ob(C)$, $d' \in Ob(D_2)$), and following the definition of collage, we calculate that $G'c'$ is $c'$ up to isomorphism, and $C(c, G'd') \cong (D \circ F^{op})(ic, d') = D(Fc, d') \cong C(c, Gd')$. So $G'$ is canonically isomorphic to the evident functor </p> <p>$$(1_C, G): Coll(D \circ F^{op}) \to C$$ </p> <p>where $G$ is a right adjoint to $F$ up to $D$. </p>