Email Record: Algebra in a localic topos with application to ring theory /