Systémy morfismů nad Gödelovou fuzzy logikou

Abstract

V práci jsou zavedeny některé velice základní pojmy teorie kategorií budované nad prvořádovou Gödelovou fuzzy logikou (s ostrou rovností a delta operá- torem). Fuzzy varianta klasického pojmu kategorie je uvážena. Následně je defi- nováno a prozkoumáno několik systémů morfismů volně vycházejících z ostrých kategorií Rel a Set. Všechny uvažované systémy tudíž obsahují fuzzy množiny jako objekty a různé druhy binárních fuzzy relací jako morfismy. Náš přístup je logicky-založené stupňované zobecnění ostrých (klasických) kategoriálně-teore- tických přístupů k fuzzy množinám, které byly iniciovány Goguenem. 1

This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category is considered. Then several systems of morphisms loosely based on the crisp categories Rel and Set are defined and examined. Accordingly, all the systems under consideration consist of fuzzy sets as objects and various kinds of binary fuzzy relations as morphisms. Our approach is a logic-based graded generalization of crisp (clas- sical) category-theoretical approaches to fuzzy sets, which have been initiated by Goguen. 1