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