Sa categoria de grupos cun funtziones comente su morfismu est sa categoria prototìpica.