滿函子

滿函子是範疇論中的一種函子。

基本介紹

• 中文名：滿函子
• 外文名：full functor
• 所屬學科：範疇論

定義

函子T:C→B稱為滿函子，若給定C中一對對象c與c'，與一個B中態射g:Tc→Tc'，均存在C中態射f:c→c'，滿足 g=Tf。

性質

滿函子的複合仍為滿函子。