A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives. Punjab Univ. J. Math. [Internet]. 2025 May 19 [cited 2025 Jun. 29];51(11):77-100. Available from: https://pujm.pu.edu.pk/index.php/pujm/article/view/504