1. 概述 于 范畴论 中, 本质满射函子 要求目标范畴的每个对象都同构于某个像对象, 而不要求它严格等于像对象. 2. 定义 定义 1 (本质满射函子) 设 为 函子. 若对任意 , 都存在 使 , 则称 为 本质满射函子. 3. 例子 例子 2 (骨架的包含函子) 一个范畴的 骨架范畴 到原范畴的包含函子是 本质满射函子. 4. 相关性质 命题 3 (范畴等价本质满射) 每个给出 范畴等价 的函子都是 本质满射函子. 证明 4 (范畴等价本质满射) 若 有拟逆 与自然同构 , 则每个 都同构于像对象 , 故 是 本质满射函子. 5. 相关概念 全忠实函子； 范畴等价. 6. 术语翻译 中文英文本质满射函子essentially surjective functor 范畴论