Related papers: $\lambda$-Scale, a lambda calculus for spaces with…
A metric algebra is a metric variant of the notion of $\Sigma$-algebra, first introduced in universal algebra to deal with algebras equipped with metric structures such as normed vector spaces. In this paper, we showed metric versions of…
We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.
A tame filtration of an algebra is defined by the growth of its terms, which has to be majorated by an exponential function. A particular case is the degree filtration used in the definition of the growth of finitely generated algebras. The…
This paper presents a systematic study of the calculus of interval-valued functions and its application to interval differential equations. To this end, first, we introduce new interval arithmetic operations. Under new operations, the space…
In some scientific fields, a scaling is able to modify the topology of an observed object. Our goal in the present work is to introduce a new formalism adapted to the mathematical representation of this kind of phenomenon. To this end, we…
We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $\Lambda^3 \cap (\Lambda^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness…
Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to…
In this paper we produce noncommutative algebras derived equivalent to deformations of schemes with tilting bundles. We do this in two settings, first proving that a tilting bundle on a scheme lifts to a tilting bundle on an infinitesimal…
We deal with direct and inverse problems of the calculus of variations on arbitrary time scales. Firstly, using the Euler-Lagrange equation and the strengthened Legendre condition, we give a general form for a variational functional to…
An alternative proof of Lie's approach for linearization of scalar second order ODEs is derived using the relationship between $\lambda$-symmetries and first integrals. This relation further leads to a new $\lambda$-symmetry linearization…
We introduce the scale calculus, which generalizes the classical differential calculus to non differentiable functions. The new derivative is called the scale difference operator. We also introduce the notions of fractal functions, minimal…
For a given metric measure space $(X,d,\mu)$ we consider finite samples of points, calculate the matrix of distances between them and then reconstruct the points in some finite-dimensional space using the multidimensional scaling (MDS)…
We introduce a fractional calculus on time scales using the theory of delta (or nabla) dynamic equations. The basic notions of fractional order integral and fractional order derivative on an arbitrary time scale are proposed, using the…
This paper studies relationships between the order reductions of ordinary differential equations derived by the existence of $\lambda$-symmetries, telescopic vector fields and some nonlocal symmetries obtained by embedding the equation in…
We look at smooth manifolds equipped with a possibly singular Riemannian metric. We give sufficient conditions for the existence of scalar curvature measures and Dirac operators.
Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus.…
A new definition of a multi-valued logarithm on time scales is introduced for delta-differentiable functions that never vanish. This new logarithm arises naturally from the definition of the cylinder transformation that is also at the heart…
We consider general, non-linear curvature perturbations on scales greater than the Hubble horizon scale by invoking an expansion in spatial gradients, the so-called gradient expansion. After reviewing the basic properties of the gradient…
Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given…
Comparisons on $L^{n\over 2}$-norms of scalar curvatures between Riemannian metrics and standard metrics are obtained. The metrics are restricted to conformal classes or under certain curvature conditions.