Categories of Relations and Functional Relations

We define relations and their composition in a category with (e, M)-factorization structure, with M consisting of monomorphisms, but e not restricted to epimorphisms. We obtain an associativity criterion for composition of relations, and we study functional and induced relations. We show that under our assumptions, the categories of relations on functional and induced relations are isomorphic to the category of relations for the given category.

[1]  Dieter Puppe,et al.  Korrespondenzen in abelschen Kategorien , 1962 .

[2]  Dusko Pavlovic,et al.  Maps II: Chasing Diagrams in Categorical Proof Theory , 1996, Log. J. IGPL.

[3]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[4]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[5]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[6]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[7]  D. Scott,et al.  Sheaves and logic , 1979 .

[8]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[9]  J. Benabou.  Introduction to bicategories , 1967 .

[10]  Dusko Pavlovic,et al.  Maps I: relative to a factorisation system , 1995 .

[11]  Aaron Klein.  Relations in categories , 1970 .

[12]  Jeanne Meisen,et al.  On Bicategories of Relations and Pullback Spans , 1974 .

[13]  Saunders Mac Lane,et al.  AN ALGEBRA OF ADDITIVE RELATIONS. , 1961 .

[14]  G. M. Kelly,et al.  Categories of continuous functors, I , 1972 .

[15]  J. Goguen.  L-fuzzy sets , 1967 .

[16]  G. M. Kelly.  A note on relations relative to a factorization system , 1991 .

[17]  Oswald Wyler,et al.  Fuzzy logic and categories of fuzzy sets , 1995 .

[18]  D. Ponasse.  Categorial studies of fuzzy sets , 1988 .

[19]  Oswald Wyler,et al.  Lecture notes on Topoi and Quasitopoi , 1991 .

[20]  L. N. Stout,et al.  Foundations of fuzzy sets , 1991 .

[21]  Michael Barr,et al.  Exact categories and categories of sheaves , 1971 .

[22]  G. Monro.  Quasitopoi, logic and heyting-valued models , 1986 .

[23]  Lawrence N. Stout,et al.  The Logic of Unbalanced Subobjects in a Category with Two Closed Structures , 1992 .

[24]  U. Höhle,et al.  Applications of category theory to fuzzy subsets , 1992 .