Category law