.png){kind=icon}
.png){kind=icon}
Return
Multivariate functorial difference
.png){kind=icon}
PRE
AI
DOI：10.1017/S0960129525100418.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Partial difference operators for a large class of functors between presheaf categories are introduced, extending our previous work on the difference operator to the multivariable case. These combine into the Jacobian profunctor that provides the setting for a lax chain rule. We introduce a functorial version of multivariable Newton series whose aim is to recover a functor from its iterated differences. Not all functors are recovered; however, we get a best approximation in the form of a left adjoint, and the induced comonad is idempotent. Its fixed points are what we call soft analytic functors, a generalization of the well-studied multivariable analytic functors.
Keywords:
tense functor
profunctor
finite difference
presheaf category
symmetric sequence
analytic functor
lax chain rule
soft analytic
Newton series
Journal
M
IF:
0.9
Papers:
33
Citations:
0