On Monoids in the Category of Sets and Relations
Abstract
The category R e l is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, R e l is a monoidal category. Moreover, R e l is a locally posetal 2-category, since every homset R e l( A, B) is a poset with respect to inclusion. We examine the 2-category of monoids R e l M o n in this category. The morphism we use are lax. This category includes, as subcategories, various interesting classes: hypergroups, partial monoids (which include various types of quantum logics, for example effect algebras) and small categories. We show how the 2-categorical structure gives rise to several previously defined notions in these categories, for example certain types of congruence relations on generalized effect algebras. This explains where these definitions come from.
- Publication:
-
International Journal of Theoretical Physics
- Pub Date:
- December 2017
- DOI:
- 10.1007/s10773-017-3304-z
- arXiv:
- arXiv:1703.03728
- Bibcode:
- 2017IJTP...56.3757J
- Keywords:
-
- Effect algebra;
- Relational monoid;
- 2-category;
- Mathematics - Rings and Algebras;
- Primary: 03G12;
- Secondary: 18D05
- E-Print:
- International Journal of Theoretical Physics, Volume 56, Issue 12, pp 3757-3769 , 2017