Related papers: Gr\"obner Bases for Coloured Operads
Given an integer base $b\geq 2$, a number $\rho\geq 1$ of colors, and a finite sequence $\Lambda=(\lambda_1,\ldots,\lambda_\rho)$ of positive integers, we introduce the concept of a $\Lambda$-restricted $\rho$-colored $b$-ary partition of…
Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $\Omega$-operated algebra is a an (associative) algebra equipped with a…
We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…
Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of…
A simply colored coalgebra is a coassociative counital coalgebra $C$ over an arbitrary ring $R$, which can be decomposed into a direct sum of two $R$-modules: one generated by set-like elements and another consisting of conilpotent…
We develop the rudiments of a theory of parametrized $\infty$-operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the…
In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.
Exploiting symmetry in Groebner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely due to the fact that the group elements, being…
Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on…
We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…
We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which…
We introduce a symmetric operad $\square p$ ("box-op") which describes a certain calculus of rectangular labeled ``boxes''. Algebras over $\square p$, which we call box operads, have appeared under the name of fc multicategories in work by…
Let $\mathbb{E}_d$ denote the little discs operad for $1 \le d \le \infty$ and let $\mathcal{C}$ be an $\infty$-category all of whose mapping spaces are $n$-truncated. We prove that when considering $\mathbb{E}_d$-monoids in $\mathcal{C}$,…
The Heun-Hahn operator on the uniform grid is defined. This operator is shown to map polynomials of degree $n$ to polynomials of degree $n+1$, to be tridiagonal in bases made out of either Pochhammer or Hahn polynomials and to be bilinear…
Starting from the Schwinger unitary operator bases formalism constructed out of a finite dimensional state space, the well-known q-deformed commutation relation is shown to emerge in a natural way, when the deformation parameter is a root…
We study the quantum plane associated to the coloured quantum group GL_{q}^{\lambda,\mu}(2) and solve the problem of constructing the corresponding differential geometric structure. This is achieved within the R-matrix framework…
Dotsenko and Vallette discovered an extension to nonsymmetric operads of Buchberger's algorithm for Gr\"obner bases of polynomial ideals. In the free nonsymmetric operad with one ternary operation $({\ast}{\ast}{\ast})$, we compute a…
We will introduce the notion of higher derived bracket construction in the category of operads and prove that the higher derived bracket construction of Lie operad is equivalent to the cobar construction of Leibniz operad. The theorem is…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…