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


Current browse context:


Change to browse by:

References & Citations


(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: Categorical Constructions and Categorical Properties

Abstract: This work mainly concerns the -- here introduced -- category of $\mathscr Q$-sets and functional morphisms, where $\mathscr Q$ is a commutative semicartesian quantale. We describe, in detail, the limits and colimits of this complete and cocomplete category and prove that it has a classifier for regular subobjects. Moreover, we prove that it is $\kappa^+$-locally presentable category, where $\kappa=max\{|\mathscr Q|, \aleph_0)\}$ and describe a hierarchy of semicartesian monoidal closed structures in this category. Finally, we discuss the issue of 'change of basis' induced by appropriate morphisms between the parametrizing quantales involved in the definition of $\mathscr Q$-sets. In a future work we will address such questions in the full subcategory given by all Scott-complete $\mathscr Q$-sets
Subjects: Category Theory (math.CT)
Cite as: arXiv:2302.03123 [math.CT]
  (or arXiv:2302.03123v1 [math.CT] for this version)

Submission history

From: José Alvim [view email]
[v1] Mon, 6 Feb 2023 21:15:13 GMT (54kb)

Link back to: arXiv, form interface, contact.