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

This article deals with the study of cactus groups from a combinatorial point of view. These groups have been gaining prominence lately in various domains of mathematics, amongst which are their relations with well-known groups such as…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

In this paper we propose unifying the categories of cochain complexes $\text{Ch}(\mathcal{C})$ and modules $\widehat{A}\text{-mod}$ over a repetitive algebra $\widehat{A}$. Motivated by their striking similarities and importance, we…

This paper is one of a series of papers on coherent spaces and their applications, defined in the recent book 'Coherent Quantum Mechanics' by the first author. The paper studies coherent quantization -- the way operators in the quantum…

In this paper, using some properties of fundamental groups and covering spaces of connected polyhedra and CW-complexes, we present topological proof for some famous theorems about finitely presented groups.

If a finite group G has a presentation with d generators and r relations, it is well-known that r - d is at least the rank of the Schur multiplier of G; a presentation is called efficient if equality holds. There is an analogous definition…

We define a subclass of separated graphs, the class of adaptable separated graphs, and study their associated monoids. We show that these monoids are primely generated conical refinement monoids, and we explicitly determine their associated…

We develop a method to give presentations of quantized function algebras of complex reductive groups. In particular, we give presentations of quantized function algebras of automorphism groups of finite dimensional simple complex Lie…

Systems obtained by quotienting a subshift of finite type (SFT) by another SFT are called finitely presented in the literature. Analogously, if a sofic shift is quotiented by a sofic equivalence relation, we call the resulting system…

Composing with the inclusion $\mathsf{Set}\to\mathsf{Cat} $, a graph $G$ internal to $\mathsf{Set} $ becomes a graph of discrete categories, the coinserter of which is the category freely generated by $G$. Introducing a suitable definition…

Let $K$ be a finite group and let $G$ be a finite group acting on $K$ by automorphisms. In this paper we study two different but intimately related subjects: on the one side we classify all possible multiplicative and associative structures…

We study the category $\mathcal{A}$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of…

We construct families of quilted surfaces parametrized by the multiplihedra, and define moduli spaces of pseudoholomorphic quilted disks using the theory of pseudoholomorphic quilts of Wehrheim and Woodward. We prove a gluing theorem for…

We consider irreducible representations of finite quandles over $\mathbb{C}$. For $Q$ a finite quandle whose inner automorphism group $Inn(Q)$ have trivial Schur multipliers, we prove that the irreducible representations of $Q$ can be…

After a brief review of recent rigorous results concerning the representation theory of rational chiral conformal field theories (RCQFTs) we focus on pairs (A,F) of conformal field theories, where F has a finite group G of global symmetries…

We study the four plactic-like monoids that arise by taking the meets and joins of stalactic and taiga congruences. We obtain the combinatorial objects associated with the meet monoids, establishing Robinson-Schensted-like correspondences…

Coherent state theory is shown to reproduce three categories of representations of the spectrum generating algebra for an algebraic model: (i) classical realizations which are the starting point for geometric quantization; (ii) induced…

We study presentations, defined by Sidki, resulting in groups $y(m,n)$ that are conjectured to be finite orthogonal groups of dimension $m+1$ in characteristic two. This conjecture, if true, shows an interesting pattern, possibly connected…

Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probabilistic computation, such as several incarnations of the…