Categories enriched in a locally cocomplete bicategory were studied by the reviewer in a 1983 paper reprinted as [R. H. Street
, “Enriched categories and cohomology”, Repr. Theory Appl. Categ. 14, 1–18 (2005; Zbl 1085.18010
)]. Motivation for that work was R. F. C. Walters
’ example of sheaves as enriched categories in which case the base bicategory is locally ordered. A quantaloid is a locally ordered, locally cocomplete bicategory. Categories enriched in a quantaloid exhibit special characteristics, in particular, as the author shows, when it comes to the universal operations of tensoring and cotensoring. Follow up papers will use this work in connection with causal duality and dynamic domains.