On some basic constructions in categories of quantale-valued sup-lattices

Abstract

If the standard concepts of partial-order relation and subset are fuzzi ed, taking valuation in a unital commutative quantale Q, corresponding concepts of joins and join-preserving mappings can be introduced. We present constructions of limits, colimits and Hom-objects in categories Q-Sup of Q-valued fuzzy joinsemilattices, showing the analogy to the ordinary category Sup of join-semilattices.