更新时间：2024-05-21 18:30
具体范畴是范畴论的一个范畴。
对象都是集合的范畴称为具体范畴。
具体范畴是对，其中C为范畴，U:C→Set为忠实函子。
具体范畴可以看成集范畴的子范畴，代数学中的常用范畴都是具体范畴。