Related papers: Functional Equations and Their Related Operads
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
Let M be a smooth manifold and V a Euclidean space. Let Ebar(M,V) be the homotopy fiber of the map from Emb(M,V) to Imm(M,V). This paper is about the rational homology of Ebar(M,V). We study it by applying embedding calculus and orthogonal…
We construct two bounded functional calculi for sectorial operators on Banach spaces, which enhance the functional calculus for analytic Besov functions, by extending the class of functions, generalizing and sharpening estimates, and…
Godel's theory T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0, the successor function S, and the operator R_tau for primitive recursion on objects of type tau. It is known that…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
Prompted by an example related to the tensor algebra, we introduce and investigate a stronger version of the notion of separable functor that we call heavily separable. We test this notion on several functors traditionally connected to the…
We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality which…
Functionals (i.e. functions of functions) are widely used in quantum field theory and solid-state physics. In this paper, functionals are given a rigorous mathematical framework and their main properties are described. The choice of the…
In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…
We study flat deformations of quotients of a polynomial algebra in a class of graded commutative associative algebras. Functional equations and their solutions in terms of theta functions play important role in these studies. An analog of…
It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
We establish a set of relations between several quite diverse types of weighted inequalities involving various integral operators and fairly general quasinorm-like functionals which we call sub-monotone. The main result enables one to solve…
A classification is provided of functors, in particular polynomial ones, from a category with a zero object in which every object is a finite sum of copies of a generating object, into an abelian category. This classification is extended to…
We study the generalization of $m$-isometries and $m$-contractions (for positive integers $m$) to what we call $a$-isometries and $a$-contractions for positive real numbers $a$. We show that any Hilbert space operator, satisfying an…
For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
We prove that any right Quillen functor between arbitrary model categories admits non trivial functorial factorizations that are similar to those of a model structure. We also prove that these factorizations can be made for lax monoidal…
We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that…
The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for…