Yet another forms of Yoneda lemma

Given categories \ct A,\ \ct B and objects a\in Ob\ct A,\ b\in Ob\ct B, we let M_{a,b}:\ct A\ag\ct B denote the category where we freely add an arrow m:a\to b to the disjoint union of \ct A and \ct B.
This can be achieved e.g. by taking the colimit of the following \sf M-shaped diagram:

    \[\dia@R=1pc{1\ar[rd]^0 \ar[dd]_a && 1 \ar[ld]_1 \ar[dd]^b \\ & 2 & \\ \ct A && \ct B}\]


where 1 is the terminal category and 2 contains two objects and a single nonidentity arrow 0\to 1.
Alternatively, we can consider the profunctor induced by the span \ct A\overset{a}\ot 1\overset{b}\to\ct B (which is just the profunctor composition a^*\,b_*:\ct A\ag\ct B).

It’s straightforward to check that M_{a,b}(x\ig y)=\{\alpha m \beta\mid \alpha:x\to a,\ \beta:b\to y\}\cong \ct A(x\ig a)\times\ct B(b\ig y).

Based on the construction, for any profunctor \ct F:\ct A\ag\ct B, the profunctor morphisms M_{a,b}\to\ct F (functors that are identical on both \ct A and \ct B) are uniquely determined by where they take the freely added arrow m, and that can be any heteromorphism a\to b in \ct F.

Theorem. (Yoneda lemma for profunctors.) For any profunctor \ct F:\ct A\ag\ct B and objects a\in Ob\ct A,\ b\in Ob\ct B we have a bijection

    \[\ct Prof(M_{a,b}\ig \ct F)\,\cong\,\ct F(a\ig b)\]

natural in both a and b.

It’s also straightforward to verify that, for profunctors \ct F,\ct G:\ct A\ag\ct B, a functor \ct F\to\ct G that acts as the identity on both \ct A and \ct B, naturally corresponds to a natural transformation F\tto G where F,G are the hom functors of \ct F,\,\ct G restricted to heteromorphisms (i.e. \ct A^{op}\times\ct B\to\ct Set), and vice-versa.

This way, involving our previous observation about M_{a,b}, we can reformulate the above theorem as, for any functor F:\ct A^{op}\times\ct B\to\ct Set we have

    \[Nat(\ct A(-,a)\times\ct B(b,-)\ig F)\,\cong\, F(a,b)\]

naturally in a,b.

That clearly implies both the covariant and the contravariant versions of the original Yoneda lemma when applying it either with \ct A=1 or with \ct B=1.

Presheaves as simple extensions

A presheaf on a category \ct A is a functor \ct A^{op}\to\ct Set, so using \ct A^{op}\cong \ct A^{op}\times 1 can even condider it as a profunctor \ct A\ag 1, which can be viewed as a left \ct A-module, or… as a simple right extension of \ct A by a single object (the object of 1).
Similarly, a presheaf on the opposite category \ct A^{op} can be though of as a right \ct A-module, or as a simple left extension.

Definition. A category \ct B with object b\in\ct B is a simple right extension of category \ct A if \ct A is a full(y embedded) subcategory of \ct B, \ b\notin Ob\ct A, \ Ob\ct B=Ob\ct A\cup\{b\}\, and b is not the domain of any morphism besides its identity 1_b.
Examples. For any object a\in Ob\ct A we obtain a simple right extension by joining a new object b and copying all the arrows \alpha:x\to a as \alpha_b:x\to b where x\in Ob\ct A. This extension category will be denoted by \ct A\>a.
Observe that by construction, \ct A\>a(x\ig b)\cong\ct A(x\ig a), so it’s just the hom functor \ct A(-\ig a):\ct A^{op}\to\ct Set seen as a profunctor \ct A\ag\ct 1 where \ct 1 is embedded into \ct A\>a as the new object b.

We can also define the empty and the unique simple right extensions by prescribing that each \ct B(a\ig b) contains exactly 0 or 1 elements, respectively.

Theorem. (Yoneda lemma for simple right extensions.)
Every simple right extension \ct B of \ct A is a colimit of simple extensions \ct A\>a. (…..)

A Bridge Construction

A category \ct H is a bridge between categories \ct A and \ct B if these are disjoint full subcategories of \ct H and \ct H has no more objects. In notation: \ct H:\ct A \rightleftharpoons \ct B.

In other words, if \ct Iso denotes the category of 2 objects (name them 0,1) and 2 nonidentity arrows, {\bf i}:0\to 1,\ {\bf j}:1\to 0 which are inverses of each other, then a  bridge  is a category over \ct Iso, i.e. a category \ct H equipped with a functor H:\ct H\to\ct Iso. The full subcategories \ct A:=H^{-1}(0) and \ct B:=H^{-1}(1) are called banks of the bridge.
The arrows in the H-preimage of the two arrows {\bf i} and {\bf j} in \ct Iso are referred to as through arrows or heteromorphisms in the bridge.

Continue reading “A Bridge Construction”