Dalam bidang matematika dari teori kategori, kategori himpunan, dilambangkan sebagai Himpunan atau Set, adalah kategori yang objek adalah himpunan.
Катего́рия мно́жеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set.