Jayewardene, Romaine; Wyler, Oswald Categories of relations and functional relations. (English) Zbl 0981.18002 Appl. Categ. Struct. 8, No. 1-2, 279-305 (2000). In this nice article the authors consider relations and their composition in a category having finite limits with \(({\mathcal E},{\mathcal M})\)-factorization structure, where \({\mathcal M}\) consists of monomorphisms but \({\mathcal E}\) is not restricted to epimorphisms [P. J. Freyd and G. M. Kelly, J. Pure Appl. Algebra 2, 169-191 (1972; Zbl 0257.18005)]. An associativity criterion for composition of relations is achieved [see also, A. Klein, Ill. J. Math. 14, 536-550 (1970; Zbl 0217.07001)] and the categories of functional and induced relations are studied.It is shown that under certain assumptions, the categories of relations on functional and induced relations are isomorphic to the category of relations for the given category. Finally, an illuminating example based on the categories of fuzzy sets are taken into account. In this example functional relations are focused for genuine reason [D. Ponasse, Fuzzy Sets Syst. 28, No. 3, 235-244 (1988; Zbl 0675.03032)]. Reviewer: T.M.G.Ahsanullah (Bangladesh) Cited in 3 Documents MSC: 18B10 Categories of spans/cospans, relations, or partial maps 18A32 Factorization systems, substructures, quotient structures, congruences, amalgams Keywords:composition of relations; induced relations; functional relations Citations:Zbl 0257.18005; Zbl 0217.07001; Zbl 0675.03032 PDFBibTeX XMLCite \textit{R. Jayewardene} and \textit{O. Wyler}, Appl. Categ. Struct. 8, No. 1--2, 279--305 (2000; Zbl 0981.18002) Full Text: DOI