满态射

满态射是集合范畴Set中满射概念的推广，它与单态射是互为对偶的概念。范畴C中的态射f：A→B，若有右可消性质，即由态射合成uf=vf可断定u=v，则称f为C中的满态射。若fg为满态射，则f为满态射。范畴C中的态射f：A→B，若有右可消性质，即由态射合成uf=vf可断定u=v，则称f为C中的满态射。若fg为满态射，则f为满态射；满态射的合成仍为满态射；单位态射必是满态射，甚至右可逆态射也是满态射。在群范畴中满态射即满同态；在环范畴中满同态为满态射，但反之不真。