Algebra in a Localic Topos with Applications to Ring Theory door F. Borceux