More functoriality