集合範疇

在範疇論這個數學領域中 ， 集合範疇 （ 標記爲 Set ） 是一個對象爲集合的範疇 。 集合 A 及 B 之間的態射族包含所有從 A 映射至 B 的函數 。 集合範疇是許多其他範疇 （ 如其態射爲群同態的群範疇 ） 的基礎 ， 這些範疇均是在集合範疇的對象上附加其他結構 ， 並限制其態射爲特定函數而成 。