Taut functors and the difference operator
Theory and applications of categories, Lawvere Festschrift, Tome 43 (2025), pp. 281-362.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We establish a calculus of differences for taut endofunctors of the category of sets, analogous to the classical calculus of finite differences for real valued functions. We study how the difference operator interacts with limits and colimits as categorical versions of the usual product and sum rules. The first main result is a lax chain rule which has no counterpart for mere functions. We also show that many important classes of functors (polynomials, analytic functors, reduced powers, ...) are taut, and calculate explicit formulas for their differences. Covariant Dirichlet series are introduced and studied. The second main result is a Newton summation formula expressed as an adjoint to the difference operator.
Publié le :
Classification : Primary: 18A22, 12H10, secondary: 18C15, 18F50
Keywords: Taut functor, polynomial, reduced power, analytic functor, Dirichlet series, difference operator
@article{TAC_2025_43_a9,
     author = {Robert Par\'e},
     title = {Taut functors and the difference operator},
     journal = {Theory and applications of categories},
     pages = {281--362},
     publisher = {mathdoc},
     volume = {43},
     year = {2025},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2025_43_a9/}
}
TY  - JOUR
AU  - Robert Paré
TI  - Taut functors and the difference operator
JO  - Theory and applications of categories
PY  - 2025
SP  - 281
EP  - 362
VL  - 43
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2025_43_a9/
LA  - en
ID  - TAC_2025_43_a9
ER  - 
%0 Journal Article
%A Robert Paré
%T Taut functors and the difference operator
%J Theory and applications of categories
%D 2025
%P 281-362
%V 43
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2025_43_a9/
%G en
%F TAC_2025_43_a9
Robert Paré. Taut functors and the difference operator. Theory and applications of categories, Lawvere Festschrift, Tome 43 (2025), pp. 281-362. http://geodesic.mathdoc.fr/item/TAC_2025_43_a9/