MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
You should also ask, what categorical properties allow you to DEFINE composition in (2)? Probably this has the same answer. – David Carchedi Dec 12 '11 at 17:30
@DavidCarchedi I suppose the composition may come from the fact that surjective submersion admits local sections. – Ma Ming Oct 30 '13 at 17:08
@DavidCarchedi This is addressed in – Ma Ming Sep 21 '14 at 13:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.