matematik: en avbildning mellan kategorier