monomorfismo 

En la teoría de categorías, el morfismo es un concepto más general; una categoría se define por dos tipos de datos: una clase de objetos y, para cada par de objetos X e Y, un conjunto de asignaciones de X a Y. Las asignaciones generalmente se representan como flechas entre estos objetos. Para la clase dada, X e Y son cantidades de algún tipo, y el mapa f es una función de X a Y que satisface la condición; este ejemplo produce la notación f: X → Y. Pero no todas las categorías son concretas, por lo que estos no son los únicos tipos de morfismos.