POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES

The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Iranian journal of fuzzy systems (Online) 2011-06, Vol.8 (2), p.1
1. Verfasser: Solovyov, Sergey A
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, we provide a direct lift of the backward powerset operator using the notion of categorical biproduct. The obtained framework is readily extended to the variable-basis case, justifying the powerset theories currently popular in the fuzzy community. At the end of the paper, our general variety-based setting postulates the requirements, under which a convenient variety-based powerset theory can be developed, suitable for employment in all areas of fuzzy mathematics dealing with fuzzy powersets, including fuzzy algebra, logic and topology.
ISSN:1735-0654
2676-4334
DOI:10.22111/ijfs.2011.259