Korean J. Math. Vol. 28 No. 1 (2020) pp.75-87
DOI: https://doi.org/10.11568/kjm.2020.28.1.75

A study on the quasi topos

Main Article Content

Igsung Kim


Category F Rel of fuzzy sets and relations does not form a topos. J. Harding, C. Walker and E. Walker [3] showed that FRel has a tensor product and V. Durov [1] introduced basic definitions related to the notion of vectoid endowed with a tensor product. In this paper, we show that FRel forms a quasi topos. Also we show that there are quasi power objects in FRel. And by the use of the concepts of FRel and quasi topos, we get the logic operators of FRel. Moreover, we show that FRel forms a vectoid.

Article Details

Supporting Agencies

Sangji University Research Fund


[1] V. Durov, Classifying Vectoid and Operad Kinds, Proceedings of the Steklov Institude of Math, 2011, V. 273, pp. 48-63 Google Scholar

[2] R. Goldblatt, Topoi, North-Holland, 1984. Google Scholar

[3] J. harding, C, Walker, E. Walker, Categories with fuzzy sets and relations, Fuzzy Sets and Systems, 1-17, 2013. Google Scholar

[4] P. T. Johnstone, Topos Theory, Academic Press, N. Y., 1977. Google Scholar

[5] X. Yuan, Comparisons between Category Fuz and Category Set, J. of fuzzy Math. Vol. 5, No 4, 1997. Google Scholar

[6] X. Yuan and E. S. Lee, Category Fuz, Wtopos and Category FuzFuz, J. of Math. Anal. and Appl. 201, 489-501, 1996. Google Scholar

[7] X. Yuan, H. Li and E. S. Lee, Categories of fuzzy sets and weak topos, Fuzzy Sets and Systems 127, 291-297, 2002. Google Scholar