Kategori himpunan itu apa sih?

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.