La categorie di insiemi cun lis funzions tant che morfisims e je la categorie prototipiche.