Density in categorical topology via quantaloid-enriched categories
arXiv:2005.06304 · doi:10.1016/j.topol.2020.107524
Abstract
Based on Garner's discovery that topological categories are total categories enriched in a quantaloid, this paper presents a series of results related to initial and final density in categorical topology via (co)density in quantaloid-enriched categories, focusing on (co-)Sierpiński objects, Galois correspondences and their fixed points.
19 pages, final version