The derivative is an operator that maps a function to a linear function. I'm looking at applying the chain rule to functions over trees. What does it mean for a function on a tree to be linear? Linearity in algebraic terms is: f( a x ) = a f(x) What does multiplication mean on trees? Are these zippers the only interpretation that works, or is there a different way that works with differences of trees.