Added functoriality to the statement of the main result in dictionary.