Related papers: Gr\"obner-Shirshov bases for categories
We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples
In this paper, we study the action of diamond operators on Hilbert modular forms with coefficients in a general commutative ring. In particular, we generalize a result of Chai on the surjectivity of the constant term map for Hilbert modular…
Let $R$ be a ring with identity $1$. Jacobson's lemma states that for any $a,b\in R$, if $1-ab$ is invertible then so is $1-ba$. Jacobson's lemma has suitable analogues for several types of generalized inverses, e.g., Drazin inverse,…
We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.
A long standing problem of Gian-Carlo Rota for associative algebras is the classification of all linear operators that can be defined on them. In the 1970s, there were only a few known operators, for example, the derivative operator, the…
Using Composition--Diamond Lemma we construct presentations of groups $G = \langle x_1,\ldots,x_n \, | \, r_1,\ldots, r_m \rangle$ with the following property; for a fixed $1 \le i \le n$, and for all $1 \le j \le m$, Fox derivatives…
An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gr\"{o}bner-Shirshov bases, we characterize completely the…
We construct a category, $\Omega$, of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a "spec datum" is introduced, as a certain relation between categories, of which one has been given a…
The category of strict omega-categories has an important full subcategory whose objects are the simple omega-categories freely generated by planar trees or by globular cardinals. We give a simple description of this subcategory in terms of…
This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and…
The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.
We set up a general framework for enriching a subcategory of the category of noncommutative sets over a category C using products of the objects of a non-\Sigma operad P in \C. By viewing the simplicial category as a subcategory of the…
We present an approach to the computation of confluent systems of defining relations in associative conformal algebras based on the similar technique for modules over ordinary associative algebras.
We relate the counting of honeycomb dimer configurations on the cylinder to the counting of certain vertices in Kirillov-Reshetikhin crystal graphs. We show that these dimer configurations yield the quantum Kostka numbers of the small…
We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…
Given a diagram of small categories $F : J \rightarrow \textbf{Cat}$, we provide a combinatorial description of its colimit in terms of the indexing category $J$ and the categories and functors in the diagram $F$. We introduce certain…
We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We…
Inspired by recent work of Aslanyan and Daw, we introduce the notion of $\Sigma$-orbits in the general framework of distinguished categories. In the setting of connected Shimura varieties, this concept contains many instances of…
We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological…
This paper presents a generalized version of a theorem of Grzegorek and Labuda in category bases and also endeavours to establish a variant formulation of the same in Marczewski structures.