The words contained in this file might help you see if this file matches what you are looking for:

...Acompleteaxiomatisation of partial differentiation gordon plotkin actseminar may cartesian differential categories thegoalofthepresentpaperistodevelopanaxioma tization which directly characterizes the smooth maps in other words to characterize cokleisli structure this leads us notion a category embodies multi variable calculus being fundamental tool modern mathematics is well worth studying its own right blute cockett seely left additive eachhomsetisacommutativemonoid composition f g h fh gh amorphismf iff ie with theproduct compatible theprojections x y are tupling preserves additivity z hf gi example finite powers r and thegradient rn map xn n arguments v i thedifferential d rm m t w wi j...