包含函子
范畴论中特殊的函子
包含函子是范畴论中一种特殊的函子。
简介
包含函子(inclusion functor)为包含映射的推广。
定义
若S为范畴C的子范畴，则将S中所有对象与态射打到C中S本身为函子，称为包含函子。
性质
包含函子为忠实函子。
参考资料
最新修订时间：2022-08-31 14:51
条目作者
小编
目录
概述
简介
定义
性质
参考资料

Copyright©2024 闽ICP备2024072939号-1