A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives. (2025). Punjab University Journal of Mathematics, 51(11), 77-100. https://pujm.pu.edu.pk/index.php/pujm/article/view/504