name of the relation
Take a topos and a monic (thought of as a relation between and ). The name of is then the transpose of the characteristic map of in .
Peter Johnstone, Sketches of an Elephant Section A2.1
Created on July 24, 2012 01:23:32
by Dim Tsem?