Dalam bidang matematika dari teori kategori, kategori himpunan, dilambangkan sebagai Himpunan atau Set, adalah kategori yang objek adalah himpunan. Panah atau morfisme di antara himpunan A dan B adalah fungsi total dari A hingga B , dan komposisi morfisme adalah komposisi fungsi.
Banyak kategori lainnya (seperti kategori grup, dengan homomorfisme grup sebagai panah) menambahkan struktur ke objek kategori himpunan dan/atau membatasi panah ke fungsi.