The double contravariant powerset monad in the Goguen category of fuzzy sets
Abstract
A monad is constructed in the Goguen category of fuzzy sets valued in a unital quantale, which is an analog of the double contravariant powerset monad in the category of sets. With help of this monad it is proved that the Goguen category of fuzzy sets is dually monadic over itself.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2022
- DOI:
- 10.48550/arXiv.2202.06217
- arXiv:
- arXiv:2202.06217
- Bibcode:
- 2022arXiv220206217L
- Keywords:
-
- Mathematics - Category Theory;
- 03E72;
- 18C15;
- 18C20
- E-Print:
- 21 pages