On product and change of base for toposes