Text this: Algebra in a localic topos with applications to ring theory /