The Action of Subtraction (Math Is Categorical)