A categoria di insemmi con de fonçioin comme morfismi a l’é a categoria prototipica.