A functorial approach to differential calculus

This work evolved in many directions: in [2], Meseguer complemented the theory of institutions by providing a categorical characteri- zation for the notions of entailment system

We prove weak lower semicontinuity theorems and weak continuity the- orems and conclude with applications to minimization problems. These results generalize the corresponding results

[r]

In contrast to the q-deformed vector space, where the ring of differential operators is unique up to an isomorphism, the general ring of h-deformed differential operators Diff h,σ

In the objective of studying concentration and oscillation properties of eigenfunctions of the discrete Laplacian on regular graphs, we construct a pseudo-differential calculus

once formed). 3 examines the stability of the radial cavitating maps with respect to variations in the hole shape. It is shown that, in the class C1 0 }),

A suitable version of the Cairns-Whitehead triangulation theorem implies that every Riemannian manifold with bounded geometry admits a smooth tri- angulation with bounded geometry

Substitution preserves simple terms as soon as the substituted term is simple; the same holds for named application without condition on the term given as argument.. The proof of