Related papers: Higher limits, homology theories and fr-codes
We improve the previously best known lower and upper bounds on the number n_g of numerical semigroups of genus g. Starting from a known recursive description of the tree T of numerical semigroups, we analyze some of its properties and use…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
This tutorial gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as…
Classical homological algebra considers chain complexes, resolutions, and derived functors in additive categories. We describe "track algebras in dimension n", which generalize additive categories, and we define higher order chain…
In this note we study the logarithmic derivation module of a non-free arrangement. We prove a generalized addition theorem for all arrangements. This addition theorem allows us to find various relationships between non-free arrangements,…
We compute certain Ext and Tor groups in the category of all functors from an Z/p-linear additive category A to vector spaces in terms of Ext and Tor computed in the full subcategory of additive functors from A to vector spaces. We thus…
We introduce graphcodes, a novel multi-scale summary of the topological properties of a dataset that is based on the well-established theory of persistent homology. Graphcodes handle datasets that are filtered along two real-valued scale…
A code is called propelinear if its automorphism group contains a subgroup that acts regularly on its codewords, which is called a propelinear structure on the code. In the paper a classification of the propelinear structures on the…
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…
This work arose from efforts to generalise the usual cubical boundary by using different 'weights' for opposite faces, but still to obtain a chain complex, and this method was found to generalise. We describe a variant of the classical…
The article primarily surveys work that followed from the formulas discovered by Avramov and Iyengar in 2008, which permit one to compute certain Hochschild homology and cohomology modules as expressions involving dualizing complexes. One…
We introduce \emph{Term Coding}, a novel framework for analysing extremal problems in discrete mathematics by encoding them as finite systems of \emph{term equations} (and, optionally, \emph{non-equality constraints}). In its basic form,…
In this note, a class of error-correcting codes is associated to a toric variety associated to a fan defined over a finite field $\fff_q$, analogous to the class of Goppa codes associated to a curve. For such a ``toric code'' satisfying…
In this paper we continue investigating connections between Floer theory and dynamics of Hamiltonian systems, focusing on the barcode entropy of Reeb flows. Barcode entropy is the exponential growth rate of the number of not-too-short bars…
We develop a theory of \emph{Katetov functors} which provide a uniform way of constructing Fraisse limits. Among applications, we present short proofs and improvements of several recent results on the structure of the group of automorphisms…
We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and…
We consider a possible framework to categorify the exponential map exp(-f) given the categorification of a generator f of $\frak{sl}_2$ by Lauda. In this setup the Taylor expansions of exp(-f) and exp(f) turn into complexes built out of…
The interpretation of D-branes in terms of open strings has lead to much interest in boundary conditions of two-dimensional conformal field theories (CFTs). These studies have deepened our understanding of CFT and allowed us to develop new…
One formidable difficulty in quantum communication and computation is to protect information-carrying quantum states against undesired interactions with the environment. In past years, many good quantum error-correcting codes had been…
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are…