Q-closure spaces

From MaRDI portal
Publication:679770




Abstract: For a small quantaloid mathcalQ, a mathcalQ-closure space is a small category enriched in mathcalQ equipped with a closure operator on its presheaf category. We investigate mathcalQ-closure spaces systematically with specific attention paid to their morphisms and, as preordered fuzzy sets are a special kind of quantaloid-enriched categories, in particular fuzzy closure spaces on fuzzy sets are introduced as an example. By constructing continuous relations that naturally generalize continuous maps, it is shown (in the generality of the mathcalQ-version) that the category of closure spaces and closed continuous relations is equivalent to the category of complete lattices and sup-preserving maps.



Cites work







This page was built for publication: \(\mathcal{Q}\)-closure spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679770)