Changed canonicity to functoriality, and made a home for the heart of the matter: boxproduct.