On a categorical analysis of Zadeh generalized subsets of sets. II (Q1311756)

[For part I, see the second author, Lect. Notes Math. 1348, 257-269 (1988; Zbl 0668.18006).] The hypothesis of right regularity of non-zero truth-values of a category \({\mathfrak C}\) with fuzzy subsets is proved to be equivalent to the fact that surjections in \({\mathfrak C}\) are exactly \({\mathfrak C}\)-epimorphisms. \({\mathfrak C}\) has associative images if and only if the \(\wedge\)-semilattice of truth-values is a sup-complete lattice which satisfies the left distributivity law. As a consequence, \({\mathcal L}\) is a sup- distributive lattice when the canonical multiplication on \({\mathcal L}\) is commutative. It is proved that any topos of \textit{j}-sheaves for a Grothendieck topology \textit{j} on the monoid \({\mathcal L}^*\) of non-zero truth-values is a good toposophical approximation of \({\mathfrak C}\) when \({\mathcal L}^*\) is a \textit{j}-sheaf. A consequence is that the topos of \textit{j}-sheaves, where \textit{j} is the canonical topology is the best toposophical approximation of \({\mathfrak C}\). When the monoid \({\mathcal L}\) is commutative, the corresponding \(\wedge\)-semilattice is a sup-distributive lattice, and \({\mathcal L}^*\) satisfies a strong property of density, then the sup-operation on left ideals of \({\mathcal L}^*\) determines a Grothendieck topology \((^ -)\) on \({\mathcal L}^*\) such that the category of \((^ -)\)-separated objects is a good completion of \({\mathfrak C}\).