Representation of relations by partial maps

DOI10.1023/A:1008663927335MaRDI QIDQ1840740zbMATH OpenFDO

Authors Xiaomin Dong, Walter Tholen

Publication date 6 November 2001

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

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

zbMATH Keywords

partial morphismspower objectrelationsrepresentation of relations

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of spans/cospans, relations, or partial maps (18B10) Topoi (18B25)

Review text

Let \({\mathcal C}\) be a finitely complete category in which the notions of subobjects, relations and partial morphisms are defined with respect to a class \({\mathcal M}\) of monomorphisms. This paper is concerned with the following representation (resp. nontrivial representation) of relations by morphisms (resp. partial morphisms): relations in \({\mathcal C}\) are said to be represented (resp. nontrivially represented), provided that, for any object \(B\), there exists an object \(PB\nrightarrow B\) (resp. \(P_0B)\) together with a relation \(\varepsilon_B :PB\) (resp. \(\varepsilon_B:P_0B\nrightarrow B)\) such that any relation \(r:A\nrightarrow B\) factors uniquely in the form \(r= \varepsilon_B \circ\xi_r\) where \(\xi_r: A\nrightarrow PB\) (resp. \(\xi_r:A \nrightarrow P_0B)\) is a morphism (resp. partial morphism). Sufficient conditions for the existence of such objects are given and the link with the existence of a right adjoint to the functor \({\mathcal C}\to {\mathcal R}el{\mathcal C}\) (resp. \({\mathcal P}art ({\mathcal C})\to {\mathcal R}el({\mathcal C}))\) is investigated.

Recommendations

• scientific article; zbMATH DE number 4101439
• Restriction categories. I: Categories of partial maps
• Mehrfache Partialisierung von Kategorien. (Multiple partialization of categories)
• Maps. I: Relative to a factorisation system
• Universal monos in partial morphism categories

Cited in

(6)

• Existence theorems for commutative diagrams
• Maps. I: Relative to a factorisation system
• REPRESENTABILITY OF PARTIAL MORPHISMS IN TOPOLOGICAL AND MONOTOPOLOGICAL CONSTRUCTS
• scientific article; zbMATH DE number 4023534 (Why is no real title available?)
• scientific article; zbMATH DE number 4108841 (Why is no real title available?)
• Products in categories of relations

This page was built for publication: Representation of relations by partial maps

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