Dalam bidang matematika dari teori kategori, kategori himpunan, dilambangkan sebagai Himpunan atau Set, adalah kategori yang objek adalah himpunan.
category in mathematics where the objects are sets and the morphisms are the total functions between the sets