具体范畴
范畴论概念
具体范畴是范畴论的一个范畴。
定义
对象都是
集合
的
范畴
称为具体范畴。
等价定义
具体范畴是对
,其中C为范畴,U:C→Set为
忠实函子
。
性质
具体范畴可以看成
集范畴
的子范畴,代数学中的常用范畴都是具体范畴。
参考资料
最新修订时间:2024-05-21 18:30
条目作者
小编
资深百科编辑
目录
概述
定义
等价定义
性质
参考资料
Copyright©2024
闽ICP备2024072939号-1