Axiomatizing Iteration Categories