Category: The Laws of Subtraction