English

$\mathcal{Q}$-closure spaces

General Topology 2016-09-06 v3 Category Theory

Abstract

For a small quantaloid Q\mathcal{Q}, a Q\mathcal{Q}-closure space is a small category enriched in Q\mathcal{Q} equipped with a closure operator on its presheaf category. We investigate Q\mathcal{Q}-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 Q\mathcal{Q}-version) that the category of closure spaces and closed continuous relations is equivalent to the category of complete lattices and sup\sup-preserving maps.

Keywords

Cite

@article{arxiv.1505.06460,
  title  = {$\mathcal{Q}$-closure spaces},
  author = {Lili Shen},
  journal= {arXiv preprint arXiv:1505.06460},
  year   = {2016}
}

Comments

33 pages, final version

R2 v1 2026-06-22T09:40:28.106Z