We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: $\mathscr Q$-Sets and Friends: Regarding Singleton and Gluing Completeness

Abstract: This work is largely focused on extending D. Higgs' $\Omega$-sets to the context of quantales, following the broad program of U. H\"ohle, we explore the rich category of $\mathscr Q$-sets for strong, integral and commutative quantales, or other similar axioms. The focus of this work is to study the different notion of 'completeness' a $\mathscr Q$-set may enjoy and their relations, completion functors, resulting reflective subcategories, their relations to relational morphisms. We establish the general equivalence of singleton complete $\mathscr Q$-sets with functional morphisms and the category of $\mathscr Q$-sets with relational morphisms; we provide two characterizations of singleton completeness in categorical terms; we show that the singleton complete categorical inclusion creates limits.
Comments: arXiv admin note: text overlap with arXiv:2302.03123
Subjects: Category Theory (math.CT)
Cite as: arXiv:2302.03691 [math.CT]
  (or arXiv:2302.03691v1 [math.CT] for this version)

Submission history

From: José Alvim [view email]
[v1] Mon, 6 Feb 2023 21:26:08 GMT (53kb)

Link back to: arXiv, form interface, contact.