I haven't a clue - I don't even know what categories those laws would be objects of! As far as I know, they are just elements of sets. Maybe you can think of these sets as categories in a useful way, but I don't know how.