La categoría de conjuntos con funciones como morfismos es la categoría prototípica.