Category laws