包含函子(inclusion functor)包含映射的推廣.它一種嵌人函子.若若‘為範疇留的子範疇，可用顯見方式定義一個函子I:}(使I(A)=A,I(f)=f)，則稱這個函子I為包含函子.
包含函子(inclusion functor)包含映射的推廣.它一種嵌人函子.若若‘為範疇留的子範疇,可用顯見方式定義一個函子I:}(使I(A)=A,I(f)=f),則稱這個函子I...
嵌入函子(embedding functor)一類特殊的忠實函子.關於態射及對象都是單射的函子,設F為函子,若aEHom}=(A,B),必F =F (Q),則稱F為子函子,即變不同對象...
忠實函子(faithful functor)亦稱信守函子,是全函子的對偶概念。設F:C→D為函子,若τ,σ∈HomC(A,B),τ≠σ,必F(τ)≠F(σ),則稱F為C到D的忠實函...
給定一個 的子範疇 ,其包含函子 在物件上是忠實且單射的。此函子為完全的若且唯若 為一完全子範疇。一個函子 被稱之為是一個內嵌若其為:...
用範疇論的語言,從(X,τ)到(X,ρ)的函子左伴隨於包含函子CReg→Top。因此完全正則空間的範疇CReg是拓撲空間範疇Top的反射子範疇。通過選取柯爾莫果洛夫商,...