matematik: en funktion mellan kategorier