Note on multisolid categories (Q1295546)

Let \(U:{\mathcal A}\to X\) be a faithful functor, with \({\mathcal A}\) cowellpowered and \({\mathcal X}\) cocomplete; then \(U\) is solid (= semi-topological) if and only if \(U\) is right adjoint and \({\mathcal A}\) is cocomplete [cf. \textit{W. Tholen}, J. Pure Appl. Algebra 15, 53-73 (1979; Zbl 0413.18001)]. The note under review gives a direct proof of the ``multi''-version of this theorem in the sense of Diers: the faithful functor \(U\) with \({\mathcal A}\) cowellpowered and \({\mathcal X}\) multicocomplete is multisolid if and only if \(U\) is right multiadjoint and \({\mathcal A}\) is multicocomplete. With the use of the formal product completion of a category, this latter fact may also be derived from the former theorem, as was observed by \textit{J. Adámek}, \textit{L. Sousa}, and \textit{W. Tholen} in a recent paper [``Totality of product completions'', Comment. Math. Univ. Carolinae, to appear].