具体范畴
范畴论概念
具体范畴是范畴论的一个范畴。
定义
对象都是集合范畴称为具体范畴。
等价定义
具体范畴是对,其中C为范畴,U:C→Set为忠实函子
性质
具体范畴可以看成集范畴的子范畴,代数学中的常用范畴都是具体范畴。
参考资料
最新修订时间:2024-05-21 18:30
目录
概述
定义
等价定义
性质
参考资料