I am familiar with the notion of Grothendieck topology on a category, and hence the concept of site as a category equipped with such. Is there an analogous concept of Grothendieck topology on a bicategory, so that a 2-site is a (weak) 2-category equipped with such? Of course, it's easy to write down a definition of SOMETHING, but it's hard to be sure that you're not missing a subtle point, at least in the weak case of a bicategory (= weak 2-category). So I'm hoping that somebody has already applied the idea, that a certain published definition is already known to be useful. A reference limited only to strict 2-categories could also be helpful. Thank you in advance for any help! -- Toby Bartels 25-Oct-2004 19:32:25 -0300,2639;000000000000-00000000