A generalization of the functorial calculus.