8
$\begingroup$

I would like to have an explicit description of the left/right Kan lift of a functor $F$ through $G$, $\text{Lift}_GF$/$\text{Rift}_GF$ in terms of coends/ends (this can be done for Kan extensions, so I hardly believe there is no way to dualize the argument).

Google is of little help, a part from a couple of hints on how to define $\text{Rift}$ of a profunctor through another.

Can you help me? Feel free to suppose the completeness/cocompleteness you need to define the right end/coend.

$\endgroup$

1 Answer 1

10
$\begingroup$

Such a characterisation is not possible in $\mathbf{Cat}$ for trivial reason --- the dual of a functor generally cannot be thought of as a functor. In an analogical situation in $\mathbf{Set}$, for exactly the same reason, we do not expect that every colimit can be expressed in a canonical way as a limit.

For example, let us write $|2|$ for the discrete category consisting of two objects: $0$ and $1$, and let $\delta_0 \colon \mathbb{C} \rightarrow |2|$, $\delta_1 \colon \mathbb{D} \rightarrow |2|$ be the obvious constant functors (with disjoint images) from non-trivial categories $\mathbb{C}, \mathbb{D}$. Then there are no liftings of $\delta_0$ through $\delta_1$, no matter how complete and cocomplete $\mathbb{C}$ and $\mathbb{D}$ are. In fact, for any functor $F \colon \mathbb{C} \rightarrow \mathbb{D}$, there are no natural transformations $\delta_1 \circ F \rightarrow \delta_0$ nor $\delta_0 \rightarrow \delta_1 \circ F$. The same is true, if we substitute category $|2|$ with its free cocompletion $\mathbf{Set}^{|2|^{op}}$.

Notice also, that the formula for Kan liftings of profunctors, defines liftings internal to the bicategory of profunctors, and not internal to the 2-category of categories.


Let me recall that a Kan lifting in $\mathbf{Cat}$ is defined as a Kan extension in $\mathbf{Cat}^{op}$. The deep reason, why we do not have nice formulae for Kan liftings, is that $\mathbf{Cat}^{op}$, from the perspective of our covariant world, is not as nice as $\mathbf{Cat}$. Specifically, there is no way to define the concept of (co)ends in $\mathbf{Cat}^{op}$, because the internal calculi of $\mathbf{Cat}^{op}$ is not expressible enough ($\mathbf{Cat}^{op}$ does not have the canonical Yoneda structure).

Saying that, it is good to know, that in most situations we care about absolute Kan liftings, which may be expressed in the usual hom-set manner (these formulae can be further generalised inside any 2-category):

$$\hom(F(-), G(=)) \approx \hom(-, \mathit{Rift}_F(G)(=))$$

and:

$$\hom(F(-), G(=)) \approx \hom(\mathit{Lift}_G(F)(-), =)$$

$\endgroup$
5
  • $\begingroup$ "the formula for Kan liftings of profunctors, defines liftings internal to the bicategory of profunctors, and not internal to the 2-category of categories" I came up to the same consideration, but I wasn't able to express it in such a neat fashion. Thank you! $\endgroup$
    – fosco
    Nov 29, 2013 at 15:46
  • $\begingroup$ "the internal calculi of ${\bf Cat}^\text{op}$ is not expressible enough [...] ${\bf Cat}^\text{op}$ does not have the canonical Yoneda structure". Can you elaborate a little more on this (especially on the "expressible enough" part)? $\endgroup$
    – fosco
    Nov 29, 2013 at 15:48
  • $\begingroup$ Also, I would be content to know if there exists an endy expression for $\text{Lift}_\varphi\psi$ when $\varphi, \psi$ are profunctors. Does $\bf Prof$ suffer from the same problem? $\endgroup$
    – fosco
    Nov 29, 2013 at 16:00
  • 2
    $\begingroup$ @tetrapharmakon, in (almost) any 2-category you can define a notion of internal conical limits/colimits. One way to define internal limits/colimits of other shapes, is via pointwise left/right extensions. However, to obtain interna limits/colimits that may be manipulated in the usual manner, one needs an additional structure on the 2-category. See R. Street and R.F.C. Walters "Yoneda structures on 2-categories", J. Algebra 50 (1978) $\endgroup$ Nov 29, 2013 at 16:47
  • 2
    $\begingroup$ @tetrapharmakon, $\text{Lift}_\varphi(-)$ hardly exists in the bicategory of distributors. The reason is that the composition of distributors is almost never continuous. $\endgroup$ Nov 29, 2013 at 16:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.