Related papers: Limits, standard complexes and fr-codes
A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…
Upper bounds are derived for codes in Stiefel and Grassmann manifolds with given minimal chordal distance. They stem from upper bounds for codes in products of unit spheres and projective spaces. The new bounds are asymptotically better…
A unified explicit form for difference formulas to approximate the fractional and classical derivatives is presented. The formula gives finite difference approximations for any classical derivatives with a desired order of accuracy at nodal…
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for…
We give universal bounds on the fraction of nontrivial zeros having given multiplicity for L-functions attached to a cuspidal automorphic representation of $\mathrm{GL}_m/\mathbb{Q}$. For this, we apply the higher-level correlation…
We provide a reference for basic categorial properties of the categories of (possibly non-unital) $\mathbb{C}$-linear $*$-categories or $C^{*}$-categories, and (not necessarily unit-preserving) functors. Generalizing the classical case of…
We review the notions of a multiplier category and the $W^{*}$-envelope of a $C^{*}$-category. We then consider the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct…
We introduce the factor complex of a neural code, and show how intervals and maximal codewords are captured by the combinatorics of factor complexes. We use these results to obtain algebraic and combinatorial characterizations of…
We apply the semidefinite programming approach developed in arxiv:math.MG/0608426 to obtain new upper bounds for codes in spherical caps. We compute new upper bounds for the one-sided kissing number in several dimensions where we in…
The theory of derivators enhances and simplifies the theory of triangulated categories. In this article a notion of fibered (multi-)derivator is developed, which similarly enhances fibrations of (monoidal) triangulated categories. We…
For any finite field ${\mathbb F}_q$ with $q$ elements, we study the set ${\mathcal F}_{(q,m)}$ of functions from ${\mathbb F}_q^m$ into ${\mathbb F}^q$. We introduce a transformation that allows us to determine a linear system of $q^{m+1}$…
We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on…
Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…
The purpose of this paper is to prove optimal estimates for solutions of the Kohn-Laplacian for certain classes of model domains in several complex variables. This will be achieved by applying a type of singular integral operator whose…
For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant…
We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation,…
A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right…
For a Cohen-Macaulay ring $R$, we exhibit the equivalence of the bounded derived categories of certain resolving subcategories, which, amongst other results, yields an equivalence of the bounded derived category of finite length and finite…
We study general properties of exotic crossed-product functors and characterise those which extend to functors on equivariant C*-algebra categories based on correspondences. We show that every such functor allows the construction of a…
A finite oscillator dictionary which has important applications in sequences designs and the compressive sensing was introduced by Gurevich, Hadani and Sochen. In this paper, we first revisit closed formulae of the finite split oscillator…