Fri Sep 8 22:21:28 EDT 2017


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.