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