论文信息 - Categories of Relations and Functional Relations

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.

Oswald Wyler | Romaine Jayewardene | Romaine Jayewardene | O. Wyler

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

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

[3] S Mac Lane,et al. AN ALGEBRA OF ADDITIVE RELATIONS. , 1961, Proceedings of the National Academy of Sciences of the United States of America.

[4] J. Isbell,et al. Reports of the Midwest Category Seminar I , 1967 .

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

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

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

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

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

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

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

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