Working on functoriality section