English
Related papers

Related papers: Knuth's Coherent Presentations of Plactic Monoids …

200 papers

Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the…

Representation Theory · Mathematics 2025-12-02 Maitreyee C. Kulkarni , Jacob P. Matherne , Kaveh Mousavand , Job D. Rock

The class of finitely presented algebras over a field K with a set of generators a_1,...,a_n and defined by homogeneous relations of the form a_1a_2...a_n = a_{sigma(1)}a_{sigma(2)}...a_{sigma(n)}, where sigma runs through an abelian…

Rings and Algebras · Mathematics 2014-12-12 Ferran Cedo , Eric Jespers , Georg Klein

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act itself has a finite presentation; it is weakly right coherent if every finitely generated right ideal of $S$ has a finite…

Rings and Algebras · Mathematics 2023-12-22 Matthew Brookes , Victoria Gould , Nik Ruskuc

We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules…

Algebraic Geometry · Mathematics 2017-06-27 Laurentiu Maxim , Joerg Schuermann

The theory of presentations of enriched monads was developed by Kelly, Power, and Lack, following classic work of Lawvere, and has been generalized to apply to subcategories of arities in recent work of Bourke-Garner and the authors. We…

Category Theory · Mathematics 2023-06-30 Rory B. B. Lucyshyn-Wright , Jason Parker

We build on the methods introduced by Friedmann, Hanlon, Stanley, and Wachs, and further developed by Brauner and Friedmann, to construct additional classes of presentations of Specht modules. We obtain these presentations by defining a…

Combinatorics · Mathematics 2025-07-04 Tamar Friedmann

This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and…

Logic in Computer Science · Computer Science 2023-10-10 Masahiro Hamano

We enlarge a Coxeter group into a category, with one object for each finite parabolic subgroup, encoding the combinatorics of double cosets. This category, the singular Coxeter monoid, is connected to the geometry of partial flag varieties.…

Representation Theory · Mathematics 2021-08-16 Ben Elias , Hankyung Ko

We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively. After recalling the notion of presentation of a monoidal category by the means of…

Logic in Computer Science · Computer Science 2015-05-28 Samuel Mimram

Aiming for a revival of the theory of crystallographic complex reflection groups, we compute (minimal) Coxeter-like reflection presentations for the infinite families of those non-genuine groups which satisfy Steinberg's fixed point…

Group Theory · Mathematics 2025-10-10 Davide Dal Martello

We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationship between the braidings on the $G$-gaugings of a pointed…

Quantum Algebra · Mathematics 2019-06-20 Paul Gustafson , Andrew Kimball , Eric C. Rowell , Qing Zhang

Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory…

Group Theory · Mathematics 2024-02-02 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

In this survey we show how well known results about the Word Problem for finite group presentations can be generalized to the Word Problem and other decision problems for non-necessarily finite monoid and group presentations. This is done…

Group Theory · Mathematics 2019-08-27 Carmelo Vaccaro

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…

Category Theory · Mathematics 2010-01-08 K. Dosen , Z. Petric

A rewriting system is a set of equations over a given set of terms called rules that characterize a system of computation and is a powerful general method for providing decision procedures of equational theories, based upon the principle of…

Combinatorics · Mathematics 2007-05-23 A. Heyworth , M. Johnson

Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…

Algebraic Topology · Mathematics 2020-01-14 Falk Beckert

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…

Rings and Algebras · Mathematics 2019-02-22 Peter Mayr , Nik Ruskuc

We study infinite products of reproducing kernels with view to their use in dynamics (of iterated function systems), in harmonic analysis, and in stochastic processes. On the way, we construct a new family of representations of the Cuntz…

Functional Analysis · Mathematics 2013-01-22 D. Alpay , P. Jorgensen , I. Lewkowicz , I. Martziano

We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by…

Geometric Topology · Mathematics 2007-05-23 Juan Gonzalez-Meneses

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…

Category Theory · Mathematics 2019-09-06 Jiří Adámek , Stefan Milius , Lurdes Sousa , Thorsten Wißmann