El monomorfismo dela clase de álgebra mostró una relación uno a uno entre las calificaciones de los estudiantes ysus posiciones asignadas en los asientos.
En teoría de categorías, podemos demostrar quela función 'doble' esun monomorfismo porque si 'doble(f(x))' siempre es igual a 'doble(g(x))', entonces las funciones 'f(x)' y 'g(x)' deben ser las mismas.
Debido aque cada estudiante recibió un número de identificación único, la asignación de nombres de estudiantes a números de identificación fue una función inyectiva.