Related papers: Heavily Separable Functors
Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…
A graded tensor category over a group $G$ will be called a strongly $G$-graded tensor category if every homogeneous component has at least one multiplicativily invertible object. Our main result is a description of the module categories…
We consider tractability of integration in reproducing kernel Hilbert spaces which are a tensor product of a Walsh space and a Korobov space. The main result provides necessary and sufficient conditions for weak, polynomial and strong…
In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…
The notion of composite system made up of distinguishable parties is investigated in the context of arbitrary convex spaces.
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
We prove separation and excision results in functor homology. These results explain how the global Steinberg decomposition of functors proved by Djament, Touz{\'e} and Vespa behaves in Ext and Tor computations.
Our main result is the equivalence of two notions of reducibility between structures. One is a syntactical notion which is an effective version of interpretability as in model theory, and the other one is a computational notion which is a…
The function spaces of continuously differentiable functions are extensively studied and appear in various mathematical settings. In this context, we investigate the spaces of continuously fractional differentiable functions of order…
We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to…
We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…
It has long been noticed that high dimension data exhibits strange patterns. This has been variously interpreted as either a "blessing" or a "curse", causing uncomfortable inconsistencies in the literature. We propose that these patterns…
In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the…
Fractional derivative can be defined as a fractional power of derivative. The commutator (i/h)[H, ], which is used in the Heisenberg equation, is a derivation on a set of observables. A derivation is a map that satisfies the Leibnitz rule.…
We investigate the structure of graded commutative exponential functors. We give applications of these structure results, including computations of the homology of the symmetric groups and of extensions in the category of strict polynomial…
It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry,…
Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is…
A full-wave numerical scheme of polarisability tensors evaluation is presented. The method accepts highly conducting bodies of arbitrary shape and explicitly accounts for the radiation as well as ohmic losses. The method is verified on…
Various notions of dissipativity type for partial differential operators and their applications are surveyed. We deal with functional dissipativity and its particular case $L^p$-dissipativity. Most of the results are due to the authors.