An axiomatics for bicategories of modules (Q1820858): Difference between revisions

The reviewer [Rend. Semin. Mat. Fis. Milano 51, 217-233 (1983; Zbl 0538.18005)] called a bicategory W a base when it had a small set of objects, each hom-category had small colimits and composition on either side with an arrow preserved small colimits. He gave a characterization of the bicategory W-Mod of small categories with homs enriched in W and modules between them. Bases should be compared with the sites of topos theory in the light of \textit{R. F. C. Walters} [J. Pure Appl. Algebra 24, 95-102 (1982; Zbl 0497.18016)]. The present paper considers W-Mod freed from the restriction that W have a small set of objects. Then one can consider (W-Mod)-Mod which is shown to be biequivalent to W-Mod. This result compares with the fact that the category of sheaves for the canonical topology on a topos is equivalent to the original topos. Their result bears the same relationship to the reviewer's characterization as the result of the last sentence does to Giraud's topos-characterization theorem.