"Algebra in a Localic Topos with Applications to Ring Theory" - читать интересную книгу автора (F. Borceux, G. Van den Bossche)