F. Borceux

• Algebra In A Localic Topos With Applicatiens To Ring Theory
• Algebra in a Localic Topos with Applications to Ring Theory
• Handbook of categorical algebra