Related papers: Functor calculus via non-cubes
We prove simultaneous Universal Approximation of a certain type of Pade Approximants and of Taylor series with the same indexes. This is a generic phenomenon in the space of holomorphic functions in any simply connected domain, as well as…
We describe how and to what extent the noncommutative two-torus can be approximated by a tower of finite-dimensional matrix geometries. The approximation is carried out for both irrational and rational deformation parameters by embedding…
This paper introduces a new functional expansion framework that extends classical ideas beyond the Taylor series. Unlike traditional Taylor expansions based on local polynomial approximations, the proposed approach arises from exact…
We compute Ext-groups between classical exponential functors (i.e. symmetric, exterior or divided powers) and their Frobenius twists. Our method relies on bar constructions, and bridges these Ext-groups with the homology of Eilenberg-Mac…
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
A $Z$-set in a metric space $X$ is a closed subset $K$ of $X$ such that each map of the Hilbert cube $Q$ into $X$ can uniformly be approximated by maps of $Q$ into $X \setminus K$. The aim of the paper is to show that there exists a functor…
We extend calculus from smooth manifolds to topological manifolds making use of a theory of generalized functions developed for this aim. Actually such extension fits into a boarder context: the universal construction of a site containing…
We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…
In this paper, we consider abelian functor calculus, the calculus of functors of abelian categories established by the second author and McCarthy. We carefully construct a category of abelian categories and suitably homotopically defined…
Partition- and moment functions for a general (not necessarily Gaussian) functional measure that is perturbed by a Gibbs factor are calculated using generalized Feynman graphs. From the graphical calculus, a new notion of Wick ordering…
In this note, we discuss several aspects of the functoriality of universal abelian factorizations associated to representations of quivers into abelian categories. After recalling the general construction of universal abelian…
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real…
We propose a new integral based on Taylor measures, study its properties extensively, and we illustrate that it includes many concepts from mathematics as special cases. In particular, the new integral emerges as a generalization of the…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We consider the integral and derivative operators of tempered fractional calculus, and examine their analytic properties. We discover connections with the classical Riemann-Liouville fractional calculus and demonstrate how the operators may…
This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups,…
A simple version for the extension of the Taylor theorem to the operator functions was found. The expansion was done with respect to a value given by a diagonal matrix for the non-commutative case, and the coefficients are given both by…
We comment on recent results in the field of information based complexity, which state (in a number of different settings), that approximation of infinitely differentiable functions is intractable and suffers from the curse of…
We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and…