Ła categoria de insiemi co funsión come morfismi ła xe ła categoria prototipica.