También se puede representar de manera gráfica usando la categoría de conjuntos, mediante un diagrama conmutativo: