{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q820671","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q820671","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q820671","kernelVersion":"v1","immutable":true,"modified":"2026-03-26T21:56:22Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q820671","name":"Density in categorical topology via quantaloid-enriched categories","headline":"Density in categorical topology via quantaloid-enriched categories","description":"scientific article; zbMATH DE number 7401509","url":"https://portal.mardi4nfdi.de/entity/Q820671","datePublished":"2021-09-27","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q277349"},{"@id":"https://portal.mardi4nfdi.de/entity/Q679769"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q161372"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.TOPOL.2020.107524","url":"https://doi.org/10.1016/J.TOPOL.2020.107524"},"sameAs":["https://doi.org/10.1016/J.TOPOL.2020.107524"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4693062"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5586461"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2877682"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4776572"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1222708"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4010277"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2877685"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3328711"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3934579"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2398177"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4102032"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3831682"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5168430"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4546501"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4123496"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3996704"},{"@id":"https://portal.mardi4nfdi.de/entity/Q805732"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4884543"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2634700"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2847373"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1255083"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4680353"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3411948"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2562231"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5618749"}]},"provenance":{"prov:generatedAtTime":"2026-03-26T21:56:22Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}