Un morfismo 
de una categoría es un monomorfismo si,
de una categoría es un monomorfismo si, para cualquier par de morfismos 
,
, 
implica que 
. En las categorías de los conjuntos, grupos,
módulos, etc, un monomorfismo es lo mismo que una inyección ,
y se utiliza como sinónimo de "inyección" fuera de la teoría de categorías .
No hay comentarios:
Publicar un comentario