A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives. Punjab Univ. J. Math. 2025, 51 (11), 77-100.