Fuzzy Categories
Abstract
Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility degree that determines to what extend it is possible to "go" from one object to another one. These categories are called fuzzy categories. Of course, the basic properties of these categories are similar but not identical to their ordinary counterparts. Thus, it is necessary to introduce notion like fuzzy commutative diagrams, fuzzy initial and fuzzy terminal objects, etc.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.