(资料图片仅供参考)

1、 嵌入函子(embedding functor)一类特殊的忠实函子.关于态射及对象都是单射的函子，设F为函子，若aEHom}=(A,B)，必F =F (Q)，则称F为子函子，即变不同对象为不同对象的忠实函子.包含函子当然是嵌人函子.

本文到此分享完毕，希望对大家有所帮助。