Monoidal Quantaloids
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914459742633984 |
|---|---|
| author | Jenča, Gejza Lindenhovius, Bert |
| author_facet | Jenča, Gejza Lindenhovius, Bert |
| contents | 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 generalization of 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_18266 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Monoidal Quantaloids Jenča, Gejza Lindenhovius, Bert Category Theory Mathematical Physics Operator Algebras 18D20, 18M40, 06F07 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 generalization of 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. |
| title | Monoidal Quantaloids |
| topic | Category Theory Mathematical Physics Operator Algebras 18D20, 18M40, 06F07 |
| url | https://arxiv.org/abs/2504.18266 |