Functoriality/lifting for products