Related papers: Adding inverses to diagrams encoding algebraic str…
We instal homological algebra, including derived functors, on certain non-additive categories like categories of pointed CW-complexes, modules of monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves on them,…
We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract dags with input/output interfaces. Our development provides…
We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are…
We prove a generalization of the Kolmogorov-Barzdin theorem for maps from simplicial complexes into Euclidean space. Along the way we introduce the notion of sparse maps and discuss maps from simplicial complexes with controlled 1-waist.
Babel has shown that for an extended class of chordal (6, 3) graphs the coarsest regular simplicial partition is equivalent to the graph's automorphism partition. We give a reversible transformation for any graph to one of these graph by…
We compute Seidel's mirror map for abelian varieties by constructing the homogeneous coordinate rings from the Fukaya category of the symplectic mirrors. The computations are feasible as only linear holomorphic disks contribute to the…
Using the random complexes of Linial and Meshulam, we exhibit a large family of simplicial complexes for which, whenever affinely embedded into Euclidean space, the filling areas of simplicial cycles is greatly distorted. This phenomenon…
A priori, the set of birational transformations of an algebraic variety is just a group. We survey the possible algebraic structures that we may add to it, using in particular parametrised family of birational transformations.
The paper examines machines of the type of the $\Gamma$-spaces of Segal which describe homotopy structures on topological spaces. The main result of the paper shows that for any such machine one can find an algebraic theory characterizing…
Graphs and various graph-like combinatorial structures, such as preorders and hypergraphs, are ubiquitous in programming. This paper focuses on representing graphs in a purely functional programming language like Haskell. There are several…
The monoids of simplicial endomorphisms, i.e. the monoids of endomorphisms in the simplicial category, are submonoids of monoids one finds in Temperley-Lieb algebras, and as the monoids of Temperley-Lieb algebras are linked to situations…
We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…
It is well known that results on zero-sum sequences over a finitely generated abelian group can be translated to statements on generators of rings of invariants of the dual group. Here the direction of the transfer of information between…
In this note, we outline the general development of a theory of symmetric homology of algebras, an analog of cyclic homology where the cyclic groups are replaced by symmetric groups. This theory is developed using the framework of crossed…
Networks are often studied as graphs, where the vertices stand for entities in the world and the edges stand for connections between them. While relatively easy to study, graphs are often inadequate for modeling real-world situations,…
We describe the structure of finite Boolean inverse monoids and apply our results to the representation theory of finite inverse semigroups. We then generalize to semisimple Boolean inverse semigroups.
A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is…
We translate the concept of restriction of an arrangement in terms of Hopf algebras. In consequence, every Nichols algebra gives rise to a simplicial complex decorated by Nichols algebras with restricted root systems. As applications, some…
Some sufficient conditions on a simplicial space $X$ guaranteeing that $X_1\simeq \Omega|X|$ were given by Segal. We give a generalization of this result for multisimplicial spaces. This generalization is appropriate for the reduced bar…