Modulated bicategories (Q1331914)

The main motivation for the present paper was to characterise the bicategories of the form \((W\text{-Cat})_{cc}\) (i.e., the subbicategories of bicategories \(W\text{-Mod}\) obtained by restricting the arrows to maps - arrows which have a right adjoint). Apart from its intrinsic interest for enriched category theory this characterization is relevant (e.g.) to the theory of quantales. One can remark that the study is also guided by the challenge of keeping external set theory to a minimum. In the first sections the required limits, special arrows and factorisation systems in a bicategory are reviewed. In section 5 it is shown that the bicategory \({\mathcal M}= \text{CodCofib}({\mathcal H})\) of codiscrete cofibrations in a modulated bicategory \({\mathcal H}\) (\({\mathcal H}\) is defined to be modulated when \({\mathcal H}^{\text{op}}\) is faithfully conservational and two extra axioms about strong conservatives in \({\mathcal H}\) are satisfied) is locally finitely cocomplete. This is deduced from the result that the ``inclusion'': \({\mathcal H}\to {\mathcal M}\) preserves tensors with certain finite categories. A principal result here is the construction of the collage of any arrow in \({\mathcal M}\). Finally, in section 6, it is shown that, if \({\mathcal M}\) is any locally finitely cocomplete bicategory which admits finite collages and free monads on endo-arrows, then the subbicategory of \({\mathcal M}\) obtained by restricting the arrows to maps is modulated, and the inclusion preserves finite colimits.