Categorie van verzamelingen

In de verzamelingenleer en de categorietheorie, deelgebieden van de wiskunde, is de categorie van verzamelingen aangeduid door Set, de categorie waarvan de objecten alle verzamelingen zijn en waarvan de morfismen allemaal een functie zijn. De categorie van verzamelingen is de meest basale en meest gebruikte categorie in de wiskunde.