Categories of relations and functional relations

DOI10.1023/A:1008651524610MaRDI QIDQ1840734zbMATH OpenFDO

Authors Romaine Jayewardene, Oswald Wyler

Publication date 21 March 2002

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008651524610

composition of relations functional relations induced relations

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories of spans/cospans, relations, or partial maps (18B10)

Review text

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 [\textit{P. J. Freyd} and \textit{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, \textit{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 [\textit{D. Ponasse}, Fuzzy Sets Syst. 28, No. 3, 235-244 (1988; Zbl 0675.03032)].

Recommendations

Cited in

(18)

This page was built for publication: Categories of relations and functional relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840734)