Topoi and categories of fuzzy sets

Classical first-order logic (03B10) Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Special categories (18B99)

Review text

Let H be a complete lattice where finite meets distribute over arbitrary joins (nowadays this is called a locale) and hence a Heyting algebra. The paper looks at the following categories: Goguen's Set(H), the reviewer's Fuz(H) and the topos Sh(H) of sheaves on H. Section 1 reviews these categories and establishes the existence of pairs of adjoints between them. These adjoints come in handy in Section 2 where the 1st-order logic of the above-mentioned categories is described as well as fuzzy logic (in the sense of Gottwald, Bandler \& Kohout). Finally the author studies so- called change of basis: given a map f:H\(\to H'\) with certain structure- preserving properties, how are the corresponding categories related? The results are described in Section 3, depending on what f preserves exactly. Reviewer's comment: the paper is particularly recommended for its clarity for non-specialists in category-theory. Maybe one could ask for more completeness (Arbib and Manes' fuzzy theories are not even mentioned for instance) and for some more motivation (why, e.g., it considers only the herein described fuzzy logic when there are many, many more?).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Topoi and categories of fuzzy sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762152)