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