Algebra in a Localic Topos with Applications to Ring Theory | EKB DL