Definition:Differentiable Stack