Cartesian differential categories are equipped with a combinator which axiomatizes the directional derivative. Important models of include classical calculus smooth functions and categorical $\lambda$-calculus. However, cannot account for other interesting notions differentiation more discrete nature such as finite differences. On hand, change action have been shown to capture these examples we...