Fuzzy sets and sheaves. Part Ⅰ Basic concepts

摘要

This essay shows that large parts of fuzzy set theory are actually subfields of sheaf theory, respectively, of the theory of complete Ω-valued sets. Hence fuzzy set theory is closer to the mainstream in mathematics than many people would expect. Part Ⅰ of this essay divided into a series of two papers presents such basic concepts as Ω-valued equalities, espaces etales, singleton monad, the change of base and the subobject classifier axiom. The application of these tools to the sheaf-theoretic foundations of fuzzy sets will appear in Part Ⅱ.