Категорія множин — в теорії категорій це категорія, об'єктами якої є множини, а морфізми між множинами A и B — всі функції із A в B. Позначається Set.
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 alle functies zijn.