Related papers: Reverse Fa\`a di Bruno's Formula for Cartesian Rev…
We generalize the fractional Caputo derivative to the fractional derivative ${^CD^{\alpha,\beta}_{\gamma}}$, which is a convex combination of the left Caputo fractional derivative of order $\alpha$ and the right Caputo fractional derivative…
How do we take repeated derivatives of composed multivariate functions? for one-dimensional functions, the common tools consist of the Fa\'a di Bruno formula with Bell polynomials; while there are extensions of the Fa\'a di Bruno formula,…
A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant'…
In this work, we consider boundary value problems involving Caputo and Riemann-Liouville fractional derivatives of order $\alpha\in(1,2)$ on the unit interval $(0,1)$. These fractional derivatives lead to non-symmetric boundary value…
Finite difference schemes, using Backward Differentiation Formula (BDF), are studied for the approximation of one-dimensional diffusion equations with an obstacle term, of the form $$\min(v_t - a(t,x) v_{xx} + b(t,x) v_x + r(t,x) v, v-…
The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce a new framework for doctrines based on double category…
After reviewing the definition of two differential operators which have been recently introduced by Caputo and Fabrizio and, separately, by Atangana and Baleanu, we present an argument for which these two integro-differential operators can…
Essentially, in a reversible programming language, for each forward computation from state $S$ to state $S'$, there exists a constructive method to go backwards from state $S'$ to state $S$. Besides its theoretical interest, reversible…
The fractional integrals and fractional derivatives problem is tackled by using the operator approach. The definition domain E of operators is causal functions.Many properties of fractional integrals are given. Fractional derivatives…
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…
We study the reverse mathematics of the principle stating that, for every property of finite character, every set has a maximal subset satisfying the property. In the context of set theory, this variant of Tukey's lemma is equivalent to the…
This manuscript is dedicated to prove a new inequality that involves an important case of Leibniz rule regarding Riemann-Liouville and Caputo fractional derivatives of order $\alpha\in(0,1)$. In the context of partial differential…
The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
We propose a categorical semantics of gradient-based machine learning algorithms in terms of lenses, parametrised maps, and reverse derivative categories. This foundation provides a powerful explanatory and unifying framework: it…
We define *fDistances*, which generalize Euclidean distances, squared distances, and log distances. The least squares loss function to fit fDistances to dissimilarity data is *fStress*. We give formulas and R/C code to compute partial…
We introduce a new compositional framework for generalized variational inference, clarifying the different parts of a model, how they interact, and how they compose. We explain that both exact Bayesian inference and the loss functions…
We generalize the fractional Caputo derivative to the fractional derivative ${{^CD}^{\alpha,\beta}_{\gamma}}$, which is a convex combination of the left Caputo fractional derivative of order $\alpha$ and the right Caputo fractional…
Differential operators usually result in derivatives expressed as a ratio of differentials. For all but the simplest derivatives, these ratios are typically not algebraically manipulable, but must be held together as a unit in order to…
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the order of evaluation of arguments, which may have major…