具體範疇

在數學裏 ， 具體範疇一般被認爲是這樣的一種範疇 ， 其物件爲結構性的集合 ， 態射爲結構保持的函數 ， 而態射覆合則爲函數複合 。 其形式定義並不和此直觀完全吻合 。 集合與函數的範疇Set 當然爲一具體範疇 ， 因爲每個集合都可以被認爲戴有一個 「 當然結構 」 。 更重要的例子還包括了拓樸空間和連續函數的範疇Top與群和同態的範疇Grp 。