product categories via adjoined identities