{"id":"arxiv/2610.29874","url":"https://arxiv.org/abs/2610.29874","tags":["cs.LO","math.CT"],"score":0,"title":"Coherent differentiation with a monoid of degrees: derivatives, Taylor expansion, finite differences...","domain":"cs.LO","source":"arxiv","authors":["Thomas Ehrhard","Aymeric Walch"],"reviews":0,"subject":"cs.LO","summary":"Coherent differentiation has been introduced a few years ago as a refinement of the (categorical semantics of the) differential lambda-calculus and of differential linear logic, compatible with the determinism of computation, and hence in categories where addition of morphisms in the hom-sets is only partially defined. In this setting differentiation is implemented by a kind of ''tangent functor'', with the difference that it maps an object to its object of summable tuples rather to a tangent bundle. In our earlier work, these tuples were pairs in the case of simple differentiation, and…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-21","reactions":{}}