Kategori himpunan

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 menambahkan struktur ke objek kategori himpunan dan/atau membatasi panah ke fungsi.