In de ringtheorie en de categorietheorie, deelgebieden van de wiskunde, is de categorie van ringen, aangeduid door Ring, de categorie waarvan de objecten ringen (met identiteit) zijn en waarvan de morfismen, ringhomomorfismen zijn, die de identiteit bewaren. Zoals vele categorieën in de wiskunde, is de categorie van ringen "groot" omdat de klasse van alle ringen een echte klasse is.
Als een concrete categorie De categorie Ring is een concrete categorie, wat betekent dat de objecten verzamelingen met extra structuur (optellen en vermenigvuldigen) zijn en dat de morfismen functies zijn die de wiskundige structuur bewaren. Er is een natuurlijke vergeetachtige functor U : Ring → Set van de categorie van ringen naar de categorie van verzamelingen die elke ring op de onderliggende verzameling afbeeldt (en dus de operaties van optellen en vermenigvuldigen "vergeet"). Deze functor heeft een linkeradjunct F: Set → Ring die aan elke verzameling X de vrije ring, gegenereerd door X, toewijst.
Referenties , Abstract and Concrete Categories (Abstracte en concrete categorieën), John Wiley & Sons, 1990 , , Algebra, 3rd ed., American Mathematical Society, Providence, Rhode Island, 1999, 0-8218-1646-2 , "Categories for the Working Mathematician" (Categorieën voor de werkende wiskundige), "Graduate Texts in Mathematics", Deel 5, (2e ed.), Springer, 0-387-98403-8
Ringen Categorie:Ringtheorie