1. 概述 于 范畴论 中, 满函子 在每个 Hom-集 上都是 满射, 因此目标中任意两个像对象之间的态射都来自来源范畴中的态射. 2. 定义 定义 1 (满函子) 设 为 函子. 若对任意对象 , 诱导映射： 都是 满射, 则称 为 满函子. 3. 例子 例子 2 (全子范畴的包含函子) 全子范畴 的包含函子是 满函子. 4. 相关性质 命题 3 (满函子提升像对象间的态射) 若 为 满函子, 则每个态射 都可写成 , 其中 . 证明 4 (满函子提升像对象间的态射) 这正是 满函子 在 Hom-集上的满射条件. 5. 相关概念 忠实函子； 全忠实函子. 6. 术语翻译 中文英文满函子full functor 范畴论