嵌入函子_特殊的忠实函子

嵌入函子

特殊的忠实函子

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

参考资料

最新修订时间：2024-05-21 18:20

条目作者

概述

参考资料