满射

在范畴中，态射 被称为满射，如果对于任意两个态射 ， 蕴含着 。在集合、群、模等等的范畴中，满射与满射函数相同，并且在范畴论之外与“满射函数”同义使用。