Abstract
Two categories Set(Ω) and SetF(Ω) of fuzzy sets over an MV-algebra Ω are investigated. Full subcategories of these categories are introduced consisting of objects (sub(A, δ), σ), where sub(A, δ) is a subset of all extensional subobjects of an object (A, δ). It is proved that all these subcategories are quasi-reflective subcategories in the corresponding categories.
Similar content being viewed by others
References
Eytan, M.: Fuzzy sets: a topos-logical point of view. Fuzzy Sets and Systems 5 (1981), 47–67.
Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appli. 18 (1967), 145–174.
Higgs, D.: A category approach to Boolean-valued set theory. Manuscript, University of Waterloo, 1973.
Höhle, U.: Presheaves over GL-monoids. Non-Classical Logic and Their Applications to Fuzzy Subsets, Kluwer Academic Publ., Dordrecht, New York (1995), 127–157.
Höhle, U.: M-Valued sets and sheaves over integral, commutative cl-monoids. Applications of Category Theory to Fuzzy Subsets, Kluwer Academic Publ., Dordrecht, Boston (1992), 33–72.
Höhle, U.: Classification of Subsheaves over GL-algebras. Proceedings of Logic Colloquium 98 Prague, Springer Verlag (1999), 238–261.
Höhle, U.: Commutative, residuated l-monoids. Non-Classical Logic and Their Applications to Fuzzy Subsets, Kluwer Academic Publ. Dordrecht, New York (1995), 53–106.
Höhle, U.: Monoidal closed categories, weak topoi and generalized logics. Fuzzy Sets and Systems 42 (1991), 15–35.
Močkoř, J.: Complete subobjects of fuzzy sets over MV-algebras. Czech. Math. J. 129 (2004), 379–392.
Novák, V., Perfilijeva, I., Močkoř, J.: Mathematical principles of fuzzy logic. Kluwer Academic Publishers, Boston, Dordrecht, London, 1999.
Ponasse, D.: Categorical studies of fuzzy sets. Fuzzy Sets and Systems 28 (1988), 235–244.
Author information
Authors and Affiliations
Additional information
Supported by MSM6198898701, grant GAČR 201/04/0381/2 and grant 1M0572.
Rights and permissions
About this article
Cite this article
Močkoř, J. Extensional subobjects in categories of Ω-fuzzy sets. Czech Math J 57, 631–645 (2007). https://doi.org/10.1007/s10587-007-0102-4
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10587-007-0102-4