Category law of exchange