if we drop the functoriality of Ob p then we can freely adjoin composition into product categories