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
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:340013 |
| Date | January 2014 |
| Creators | Luhan, Ondřej |
| Contributors | Běhounek, Libor, Haniková, Zuzana |
| Source Sets | Czech ETDs |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/masterThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0015 seconds