nLab
name of the relation

Definition

Take a topos \mathcal{E} and a monic ρ:RB×A\rho \colon R \hookrightarrow B \times A (thought of as a relation between AA and BB). The name of RR is then the transpose r:BΩ Ar \colon B \rightarrow \Omega^A of the characteristic map ϕ ρ:B×AΩ\phi_{\rho} \colon B \times A \rightarrow \Omega of ρ\rho in \mathcal{E}.

References

Peter Johnstone, Sketches of an Elephant Section A2.1

Revised on February 27, 2014 20:22:56 by Anonymous Coward (98.223.187.122)