Item 2 (02AU) — The Clowder Project

Table of Contents
Part 3: Relations
Chapter 8: Relations
Section 8.2: Examples of Relations
Subsection 8.2.4: Representable Relations
Item 2 (cite)

8.2.4 Representable Relations

Let $A$ and $B$ be sets.

Definition 8.2.4.1.1 ▶ Representable Relations

Let $f\colon A\to B$ and $g\colon B\to A$ be functions.¹

1.
The representable relation associated to $f$ is the relation $\chi _{f}\colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}B$ defined as the composition

\[ A\times B\overset {f\times \operatorname {\mathrm{id}}_{B}}{\to }B\times B\overset {\chi _{B}}{\to }\{ \mathsf{true},\mathsf{false}\} , \]

i.e. given by declaring $a\sim _{\chi _{f}}b$ iff $f\webleft (a\webright )=b$.

2.
The corepresentable relation associated to $g$ is the relation $\chi ^{g}\colon B\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}A$ defined as the composition

\[ B\times A\overset {g\times \operatorname {\mathrm{id}}_{A}}{\to }A\times A\overset {\chi _{A}}{\to }\{ \mathsf{true},\mathsf{false}\} , \]

i.e. given by declaring $b\sim _{\chi ^{g}}a$ iff $g\webleft (b\webright )=a$.

¹More generally, given functions
\begin{align*} f & \colon A \to C,\\ g & \colon B \to D \end{align*}
and a relation $B\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}D$, we may consider the composite relation
\[ A\times B\overset {f\times g}{\to }C\times D\overset {R}{\to }\{ \mathsf{true},\mathsf{false}\} , \]
for which we have $a\sim _{R\circ \webleft (f\times g\webright )}b$ iff $f\webleft (a\webright )\sim _{R}g\webleft (b\webright )$.

Statistics Cite

Noticed something off, or have any comments? Feel free to reach out!

•Email
•Discord

You can also use the contact form below: