Taut functors and the difference operator
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911973355028480 |
|---|---|
| author | Paré, Robert |
| author_facet | Paré, Robert |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_21129 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Taut functors and the difference operator Paré, Robert Category Theory 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. |
| title | Taut functors and the difference operator |
| topic | Category Theory |
| url | https://arxiv.org/abs/2407.21129 |