Related papers: Norm functors and effective zero cycles
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors…
We estimate the expected number of limit cycles situated in a neighbourhood of the origin of a planar polynomial vector field. Our main tool is a distributional inequality for the number of zeros of some families of univariate holomorphic…
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…
We improve well-known results concerning normal families and shared values of meromorphic functions in the plane. In particular, we obtain two corollaries concerning meromorphic functions $f \colon {\mathbb C} \to {\widehat{\mathbb C}}$: i)…
We prove in this paper that the genus zero data of a modular functor determines the modular functor. We do this by establishing that the S-matrix in genus one with one point labeled arbitrarily can be expressed in terms of the genus zero…
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…
We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…
We present a unifying framework for type systems for process calculi. The core of the system provides an accurate correspondence between essentially functional processes and linear logic proofs; fragments of this system correspond to…
In this paper we introduce a new homology theory devoted to the study of families such as semi-algebraic or subanalytic families and in general to any family definable in an o-minimal structure (such as Denjoy-Carleman definable or $ln-exp$…
We consider the family of all functions holomorphic in the unit disk for which the zeros lie on one ray while the 1-points lie on two different rays. We prove that for certain configurations of the rays this family is normal outside the…
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 give some classes of power maps with low $c$-differential uniformity over finite fields of odd characteristic, {for $c=-1$}. Moreover, we give a necessary and sufficient condition for a linearized polynomial to be a perfect $c$-nonlinear…
We explore functors between operator space categories, some properties of these functors, and establish relations between objects in these categories and their images under these functors, in particular regarding injectivity and injective…
We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.
We study bijections between the positive cones of spaces of continuous functions vanishing at infinity that satisfy a norm additive condition. Such maps arise naturally in the study of nonlinear functional equations and norm-preserving…
Perhaps the most important contribution of gauge theory to general mathematics is to point out the importance of association functors. Emphasizing category theory we characterize association functors by two of their natural properties and…
We associate with a matrix over an arbitrary field an infinite family of matrices whose sizes vary from one to infinity; their entries are traces of powers of the original matrix. We explicitly evaluate the determinants of matrices in our…
This paper introduces the notion of referring forms as a new metric for analyzing sequential circuits from a functional perspective. Sequential circuits are modeled as causal stream functions, the outputs of which depend solely on the past…
In this paper, we generalise the construction of the functorial pullback of refined unramified cohomology between smooth schemes, by following the ideas of Fulton's intersection theory and Rost's cycle modules. We also define standard…