2
$\begingroup$

This is a continuation of my previous question.

A) Morphisms in (1') are basically internal anafunctors, their compositions heavily use (and only) pullback/limit.

B) Bibundles in (2) are basically special kind internal profunctores, their compositions heavily use quotient/coend/colimit.

We know that (1') and (2) are equivalent, this is a bit surprising since limit and colimit are usually very different notions. My question is which categorical properties make this true? Thanks.

$\endgroup$
3
  • 1
    $\begingroup$ You should also ask, what categorical properties allow you to DEFINE composition in (2)? Probably this has the same answer. $\endgroup$ Dec 12, 2011 at 17:30
  • $\begingroup$ @DavidCarchedi I suppose the composition may come from the fact that surjective submersion admits local sections. $\endgroup$
    – Ma Ming
    Oct 30, 2013 at 17:08
  • $\begingroup$ @DavidCarchedi This is addressed in arxiv.org/abs/1408.5220v1 $\endgroup$
    – Ma Ming
    Sep 21, 2014 at 13:48

0

Your Answer

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