满函子
范畴论概念
满函子是范畴论中的一种函子。
定义
函子T:C→B称为满函子,若给定C中一对对象c与c',与一个B中态射g:Tc→Tc',均存在C中态射f:c→c',满足 g=Tf。
性质
满函子的复合仍为满函子。
参考资料
最新修订时间:2024-05-21 15:00
目录
概述
定义
性质
参考资料