Title: Algebra in a Localic Topos with Applications to Ring Theory