Density in categorical topology via quantaloid-enriched categories (Q820671)

This paper deals with topological categories and is based on the work of \textit{R. Garner} [Theory Appl. Categ. 29, 406--421 (2014; Zbl 1305.18005)] and of the second author together with \textit{W. Tholen} [Topology Appl. 200, 212--236 (2016; Zbl 1333.18009)] on the characterization of a topological category over \(\mathcal{B}\) as a total category enriched in a quantaloid \(\mathcal{Q}_{\mathcal{B}}.\) The authors focus on the notion of density in both contexts. The main result states that a concrete functor \(F: \mathcal{D} \rightarrow \mathcal{E}\) over \(\mathcal{B}\) is initially (resp. finally) dense if, and only if, the corresponding \(\mathcal{Q}_{\mathcal{B}}\)-functor \(\overline{F}: \overline{ \mathcal{D}} \rightarrow \overline{\mathcal{E}}\) is codense (resp. dense). Further (co-)Sierpiński objects are defined for categories enriched in a quantaloid and characterized via (co)tensors in such a way that the notion corresponds to the usual definition of (co-)Sierpiński objects in topological categories. It is shown that left and right \(\mathcal{Q}\)-functors are completely determined by their values on dense and codense \(\mathcal{Q}\)-subcategories of their domains, respectively. Applications to Galois correspondences are described and several concrete examples serve as an illustration of the results.