更新时间：2022-08-31 14:51
包含函子是范畴论中一种特殊的函子。
包含函子(inclusion functor)为包含映射的推广。
若S为范畴C的子范畴，则将S中所有对象与态射打到C中S本身为函子，称为包含函子。
包含函子为忠实函子。