嵌入函子

嵌入函子 ^[1]  (embedding functor)一類特殊的忠實函子.關於態射及對象都是單射的函子，設F為函子，若aEHom}=(A,B)，必F =F (Q)，則稱F為子函子，即變不同對象為不同對象的忠實函子.包含函子當然是嵌人函子.