Topoi and categories of fuzzy sets (Q762152)

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?).