Constructions of solid hulls (Q5929735)

A concrete category \((\mathcal K,U)\) is called solid if for every \(U\)-structured sink \(\{a_i:UA_i\to X\mid i\in I\}\) there exists a universal map \(b:X\to UB\) such that \(b\circ a_i=Ug_i\) for some \(\mathcal K\)-morphism \(g_i:A_i\to B\) and for all \(i\in I\). A solid hull of a concrete category \((\mathcal K,U)\) is a full concrete embedding \(E:(\mathcal K,U)\to (\mathcal K^{*},U^{*})\) such that \((\mathcal K^{ *},U^{*})\) is solid, \(E\) is finally dense and for every full concrete finally dense embedding \(F:(\mathcal K,U)\to (\mathcal L,V)\) with \((\mathcal L,V)\) solid there exists a full concrete embedding \(F^{*}:(\mathcal K^{*},U^{*})\to (\mathcal L ,V)\) with \(F=F^{*}\circ E\). For any concrete category \((\mathcal K,U)\) a construction generalizing MacNeille completion is presented such that if the resulting category is solid then it is a solid hull of \((\mathcal K,U)\). It is satisfied if one of the following conditions is true: a) \((\mathcal K,U)\) is strongly fibre-small and \(\mathcal K\) has a coseparator; b) \((\mathcal K,U)\) is strongly fibre-small and weakly solid; c) \((\mathcal K,U)\) has a finally dense set; d) \((\mathcal K,U)\) is multisolid. A full subcategory of Hausdorff spaces and continuous spaces closed under limits without a solid hull is given.