Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-25T14:21:39.829Z Has data issue: false hasContentIssue false

Fuzzy Set Theory and Topos Theory

Published online by Cambridge University Press:  20 November 2018

Michael Barr*
Affiliation:
Department of Mathematics And Statistics McGill University 805 Sherbrooke St., W. Montréal, Québec Canada H3A 2K6
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The relation between the categories of Fuzzy Sets and that of Sheaves is explored and the precise connection between them is explicated. In particular, it is shown that if the notion of fuzzy sets is further fuzzified by making equality (as well as membership) fuzzy, the resultant categories are indeed toposes.

Keywords

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1986

References

1. Barr, M., £;racr Categories, in Exact Categories and Categories of Sheaves, Lecture Notes in Mathematics, Vol. 236 Springer-Verlag (1972). pp. 1120.Google Scholar
2. Barr, M. and Wells, C. F., Triples, Toposes and Theories, Springer-Verlag, (1985).Google Scholar
3. Eytan, M., Fuzzy sets: A topos-logical point of view, Fuzzy Sets and Systems, 5 (1981), pp. 47—67.Google Scholar
4. Fourman, M. P. and Scott, D. S., Applications of Sheaves, Lecture Notes in Mathematics, Vol. 753 Springer-Verlag, (1979).Google Scholar
5. Goguen, J., Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets, Int. J. Man-Machine Studies, 6 (1974), pp. 513561.Google Scholar
6. Higgs, D., A category approach to Boolean valued models, Preprint, University of Waterloo, (1973).Google Scholar
7. Johnstone, P. T., Stone Spaces, Cambridge Studies in Advanced Mathematics, Vol. 3 Cambridge University Press, (1982).Google Scholar
8. Pitts, A. M., Fuzzy sets do not form a topos, Fuzzy Sets and Systems, 8 (1982), pp. 101 — 104.Google Scholar