Název:
Systémy morfismů nad Gödelovou fuzzy logikou
Překlad názvu:
Systémy morfismů nad Gödelovou fuzzy logikou
Autoři:
Luhan, Ondřej ; Běhounek, Libor (vedoucí práce) ; Haniková, Zuzana (oponent) Typ dokumentu: Diplomové práce
Rok:
2014
Jazyk:
eng
Abstrakt: [eng][cze] 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. 1V 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
Klíčová slova:
Fuzzy kategorie; Fuzzy množiny; Fuzzy relace; Gödelova fuzzy logika; Systémy morfismů; Fuzzy categories; Fuzzy relations; Fuzzy sets; Gödel fuzzy logic; Systems of morphisms