Quantale Valued Sets: Categorical Constructions and 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 prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be \(\kappa \)-locally presentable, (where \(\kappa =max\{|\mathscr {Q}|^+, \aleph _0\}\)); we also describe a hierarchy of monoidal structures in this category.