Density in categorical topology via quantaloid-enriched categories
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.
- A category analogue of the density topology
- A generalization of the density topology with respect to category
- Categorical foundations of topology with applications to quantaloid enriched topological spaces
- scientific article; zbMATH DE number 3933370
- DENSITY TOPOLOGY INVOLVING MEASURE AND CATEGORY
- An introduction to quantaloid-enriched categories
- scientific article; zbMATH DE number 2172965
- A category analogue of the generalization of Lebesgue density topology
- A category \(\Psi \)-density topology
- Topological categories, quantaloids and Isbell adjunctions
- An extension of the Galois theory of Grothendieck
- Approach Spaces A Common Supercategory of TOP and MET
- Categorical structures enriched in a quantaloid: tensored and cotensored categories
- Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
- Fixed points of adjoint functors enriched in a quantaloid
- Free quantaloids
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 65668 (Why is no real title available?)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 1784848 (Why is no real title available?)
- scientific article; zbMATH DE number 2172965 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 896756 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- Index analysis. Approach theory at work
- Initial completions
- Metric spaces, generalized logic, and closed categories
- Monoidal topology. A categorical approach to order, metric, and topology
- On the categories of general topology and topological algebra
- Top categories and categorical topology
- Topological categories, quantaloids and Isbell adjunctions
- Topological functors
- Topological functors as total categories
- Yoneda structures on 2-categories
This page was built for publication: Density in categorical topology via quantaloid-enriched categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820671)
