包含函子

包含函子(inclusion functor)包含映射的推廣.它一種嵌人函子.若若‘為範疇留的子範疇，可用顯見方式定義一個函子I:}(使I(A)=A,I(f)=f)，則稱這個函子I為包含函子.