Re: Prof

Mike Stay wrote:

The bicategory of (small categories, profunctors, and natural transformations), should be equivalent to the 2-category of (presheaf categories, colimit-preserving functors, and natural transformations). Has someone proved this? If so, where?

Thanks!

Dear Mike, You may have a look at Prop. 4.2.4 in the PhD thesis of Gian Luca Cattani from BRICS, University of Aarhus, available at http://www.daimi.au.dk/~luca/thesis.html Best Thomas Hildebrandt IT University of Copenhagen www.itu.dk