Related papers: Gr\"obner Bases for Coloured Operads
The purpose of this foundational paper is to introduce various notions and constructions in order to develop the homotopy theory for differential graded operads over any ring. The main new idea is to consider the action of the symmetric…
In the recent work arXiv:2112.10289 we introduced a geometric decomposition of meanders. In the present paper, we generalize this approach to the case of singular meanders and give a more algebraic description of this decomposition.
We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism…
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial…
Using crossed homomorphisms, we show that the category of weak representations (resp. admissible representations) of Lie-Rinehart algebras (resp. Leibniz pairs) is a left module category over the monoidal category of representations of Lie…
We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.
Following our previous works on $C^*$-graph algebras and the associated Cuntz-Krieger graph families, in this paper we will try to have a look at the colored version of these structures and to see what a $C^*$-colored graph algebra might…
The purpose of this paper is to study generalizations of Gamma-homology in the context of operads. Good homology theories are associated to operads under appropriate cofibrancy hypotheses, but this requirement is not satisfied by usual…
We explore monoids generated by operators on certain infinite partial orders. Our starting point is the work of Fomin and Greene on monoids satisfying the relations $(\u{r}+\u{r+1})\u{r+1}\u{r}=\u{r+1}\u{r}(\u{r}+\u{r+1})$ and…
We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product of 2-categories. In this paper we continue the developments of [3] and [2] by understanding the…
We advance the foundational study of be Nardin-Shah's $\infty$-category of $G$-operads and their associated $\infty$-categories of algebras. In particular, we construct the underlying $G$-symmetric sequence of a (one color) $G$-operad,…
We show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.
We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…
We construct HNN-extensions of Lie di-algebras in the variety of di-algebras and provide a presentation for the replicated HNN-extension of a Lie di-algebras. Then, by applying the method of Gr\"obner-Shirshov bases for replicated algebras,…
We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…
For any coloured operad R, we prove a Fa\`a di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Fa\`a di Bruno formula (dual to composition of power series),…
This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of…