21 May
2009
21 May
'09
8:26 a.m.
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! -- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com