We investigate how to add a symmetric monoidal structure to quantaloids in a compatible way. In particular, dagger compact quantaloids turn out to have properties that are similar to the category Rel of sets and binary relations. Examples of such quantaloids are the category qRel of quantum sets and binary relations, and the category V-Rel of sets and binary relations with values in a commutative quantale V. For both examples, the process of internalization structures is of interest. Discrete quantization, a process of generalizing mathematical structures to the noncommutative setting can be regarded as the process of internalizing these structures in qRel, whereas fuzzification, the process of introducing degrees of truth or membership to concepts that are traditionally considered either true or false, can be regarded as the process of internalizing structures in V-Rel. Hence, we investigate how to internalize power sets and preordered structures in dagger compact quantaloids.
Keywords: quantaloids, categorical quantum mechanics, internalization
2020 MSC: 18D20, 18M40, 06F07
Theory and Applications of Categories, Vol. 45, 2026, No. 25, pp 988-1067.
Published 2026-05-05.
TAC Home