Categorie van groepen
In de groepentheorie en de categorietheorie, deelgebieden van de wiskunde, is de categorie van groepen, aangeduid door Grp, de categorie met de groepen als objecten en de groepshomomorfismen als morfismen. In die zin is de categorie van groepen een concrete categorie. De studie van deze categorie staat bekend als de groepentheorie.
De monomorfismen in Grp zijn precies de injectieve homomorfismen, terwijl de epimorfismen precies de surjectieve homomorfismen en de isomorfismen precies de bijectieve homomorfismen zijn.