Ï C Lo

Dominique Foissy

Yuanyuan Manchon

Zhang

A GENERAL CONSTRUCTION OF FAMILY ALGEBRAIC STRUCTURES

Keywords: May 8, 2021. 2010 Mathematics Subject Classification. 16W99, 16S10, 08B20, 16T30, 17D25 Monoidal categories, graded objects, operads, colored operads, dendriform algebras, duplicial algebras, pre-Lie algebras, typed decorated planar binary trees, diassociative semigroups

We give a general account of family algebras over a finitely presented linear operad. In a family algebra, each operation of arity n is replaced by a family of operations indexed by Ω n , where Ω is a set of parameters. We show that the operad, together with its presentation, naturally defines an algebraic structure on the set of parameters, which in turn is used in the description of the family version of the relations between operations. The examples of dendriform and duplicial family algebras (hence with two parameters) and operads are treated in detail, as well as the pre-Lie family case. Finally, free one-parameter duplicial family algebras are described, together with the extended duplicial semigroup structure on the set of parameters.

also [START_REF] Panzer | Hopf-algebraic renormalization of Kreimer's toy model[END_REF]). The notion of Rota-Baxter family itself was suggested to the authors by Li Guo (see Footnote after Proposition 9.2 therein), who studied further these Rota-Baxter family algebras in [START_REF] Guo | Operated monoids, Motzkin paths and rooted trees[END_REF], including the more general case of weight λ. They are associative algebras R over some field k together with a collection (P ω ) ω∈Ω of linear endomorphisms indexed by a semigroup Ω such that the Rota-Baxter family relation P α (a)P β (b) = P αβ P α (a)b + aP β (b) + λab holds for any a, b ∈ R and α, β ∈ Ω. The example in [START_REF] Ebrahimi-Fard | A Lie theoretic approach to renormalization[END_REF] is given by the momentum renormalization scheme: here Ω is the additive semigroup of non-negative integers, and the operator P ω associates to a Feynman diagram integral its Taylor expansion of order ω at vanishing exterior momenta. The simplest example we can provide, derived from the minimal subtraction scheme, is the algebra of Laurent series R = k[z -1 , z]], where, for any ω ∈ Ω = Z, the operator P ω is the projection onto the subspace R <ω generated by {z k , k < ω} parallel to the supplementary subspace R ≥ω generated by {z k , k ≥ ω}.

Another interesting example in weight zero is the following: let us consider the semigroup Ω = (R, +), and let R be the R-algebra of continuous functions from R to R. For any α ∈ R, define the linear operator P α : R → R by

P α ( f )(x) = e -αA(x)
x 0 e αA(t) f (t) dt, where A is a fixed nonzero element of R. Then (P α ) α∈Ω is a Rota-Baxter family of weight zero. The discrete version, of weight 1, is obtained by letting R be the set of sequences f : N → R (with N := {0, 1, 2, 3, . . .}). For any α ∈ R, the linear operator P α : R → R is defined similarly than in the previous example:

P α ( f )(n) = e -αa(n) n-1 i=0 e αa(i) f (i),
where a is a fixed nonzero element of R. Let us remark that, in these two examples, the semigroup (R, +) can be replaced by any subsemigroup of the abelian group (R, +).

Other families of algebraic structures appeared more recently, such as dendriform and tridendriform family algebras [START_REF] Zhang | Free Rota-Baxter family algebras and (tri)dendriform family algebras[END_REF]34,12], or pre-Lie family algebras [START_REF] Manchon | Pre-Lie family algebras[END_REF]. The principle consists in replacing each product of the structure by a family of products, so that the operadic relations (Rota-Baxter, dendriform, pre-Lie, etc.) still hold in a "family" version taking the semigroup structure of the parameter set into account.

These various examples obviously called for a more conceptual approach. A major step in understanding family structures in general has been recently done by M. Aguiar, who defined family P-algebras for any linear operad P [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF]. In this setting, the semigroup Ω of parameters must be commutative unless the operad is nonsymmetric. An important point is that any n-ary operation gives rise to a family of operations parametrized by Ω n rather than by Ω. In particular, in contrast with [START_REF] Zhang | Free Rota-Baxter family algebras and (tri)dendriform family algebras[END_REF]34,[START_REF] Manchon | Pre-Lie family algebras[END_REF]12], the natural family version of any binary operation requires two parameters. We start by revisiting M. Aguiar's two-parameter dendriform family algebras, finding that Ω is naturally given a structure of diassociative semigroup, also known as dimonoid [START_REF] Loday | Dialgebras in Dialgebras and related operads[END_REF]. This suggests that the natural algebraic structure of Ω should be determined in some way by the operad one starts with. This appears to be the case: we define family P-algebras for any finitely presented linear operad P, in a way which depends on the choice of the presentation. The definition makes sense when the parameter set Ω is endowed with a P j -algebra structure, where P j is a set operad determined by P and its presentation. Following the lines of M. Aguiar, we define family P-algebras indexed by Ω as uniform Ω-graded P-algebras. The notion of Ω-graded Palgebra, when Ω is a P j -algebra, is defined via color-mixing operads, which are generalizations of the current-preserving operads of [START_REF] Saidi | The pre-Lie operad as a deformation of NAP[END_REF]. Let us stress at this stage the main difference between M. Aguiar's approach and ours: the parameter set Ω is not necessarily a semigroup. In fact, starting with the magmatic operad (i.e. the free operad generated by one single binary operation), the parameter set Ω is only required to be a magma. This is a simple consequence of Remark 5.2.

The paper is organized as follows: we investigate two-parameter dendriform family algebras over a fixed base field k in some detail in Section 2, as well as their duplicial counterparts. We give the definition of a two-parameter dendriform family algebra A indexed by a diassociative semigroup. This structure on the parameter set Ω naturally appears when one asks A ⊗ kΩ to be a graded dendriform algebra, in the sense that the homogeneous components (A ⊗ kω) ω∈Ω are respected. The situation for duplicial family is similar but simpler, due to the fact that the duplicial operad is a set operad. The structure which appears on Ω is that of duplicial semigroup, a variant of duplex with an extra compatibility condition which appears in [28]. We also give an example of two-parameter duplicial family algebra in terms of planar binary trees with Ω × Ωtyped edges. To conclude this section, we give the generating series of the dimensions of the free two-parameter duplicial (or dendriform) family algebra with one generator, when the parameter set Ω is finite.

We give a reminder of colored operads in A. Joyal's species formalism [START_REF]Foncteurs analytiques et espèces de structures[END_REF] in Section 3, and give a brief account of graded objects. Following a crucial idea in [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF], we describe the uniformization functor U from ordinary (monochromatic) operads to colored operads (resp., with the same notations, from a suitable monoidal category to its graded version), and its right-adjoint, the completed forgetful functor F.

In Section 4, we study the pre-Lie case in some detail. The pre-Lie operad P gives rise to four different set operads, namely the associative operad, the twist-associative operad governing Thedy's rings with x(yz) = (yx)z [START_REF] Thedy | Ringe mit x(yz) = (yx)z[END_REF], an operad built from corollas governing rings with both x(yz) = y(xz) and (xy)z = (yx)z, and finally the Perm operad governing rings with x(yz) = y(xz) = (xy)z = (yx)z, i.e. set-theoretical Perm algebras. This last operad is a quotient of the three others and gives rise to family pre-Lie algebras.

Color-mixing operads and the general definition of Ω-family algebras are given in Section 5, which is the main section of the paper. The construction depends on the operad presentation in an essential way, via the definition of the set-operadic equivalence relation generated by an ideal in a linear operad (Definition 5.1). It seems unlikely to us that a presentation-free approach can be undertaken.

Finally, Section 6 is devoted to one-parameter family duplicial algebras, in the spirit of the recent article of the first author [12], in which the rich structure of extended diassociative semigroup (EDS) naturally appears. This approach encompasses the notion of matching families which was developed in [START_REF] Gao | Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras[END_REF] in the Rota-Baxter, dendriform and pre-Lie cases. We prove, similarly, that a similar (but weaker) structure of extended duplicial semigroup (EDuS) appears in the one-parameter version of family duplicial algebra. We further prove that planar binary trees with Ω-typed edges provide free one-parameter Ω-duplicial algebras for any EDuS Ω. This example, together with [12], raises the interesting question, to be addressed in a future work, of the algebraic structure naturally associated with the parameter set when considering one-parameter family algebraic structures in general.

Notation: In this paper, we fix a field k and assume that an algebra is a k-algebra. The letter Ω will denote a set of indices, which will be endowed with various structures throughout the article.

2. Two-parameter dendriform and duplicial family algebras 2.1. Two-parameter Ω-dendriform algebras. First, we borrow some concepts from J.-L. Loday [START_REF] Loday | Dialgebras in Dialgebras and related operads[END_REF], also used in the first author's recent article [12].

Definition 2.1. [20, Def. 1.1] A diassociative semigroup 1 is a triple (Ω, ←, →),
where Ω is a set and ←, →: Ω × Ω → Ω are maps such that, for any α, β, γ ∈ Ω :

(α ← β) ← γ = α ← (β ← γ) = α ← (β → γ), (1) (α → β) ← γ = α → (β ← γ), (2)
(α → β) → γ = (α ← β) → γ = α → (β → γ). (3) Example 2.2. [12]
(a) If (Ω, ) is an associative semigroup, then (Ω, , ) is a diassociative semigroup. (b) Let Ω be a set. For α, β ∈ Ω, let

α ← β = α, α → β = β.
Then (Ω, ←, →) is a diassociative semigroup denoted by DS(Ω).

Definition 2.3. Let Ω be a diassociative semigroup with two products ← and →. A two-parameter Ω-dendriform algebra is a family (A, (≺ α,β , α,β ) α,β∈Ω ) where A is a vector space and

≺ α,β , α,β : A ⊗ A → A
are bilinear binary products such that for any x, y, z ∈ A, for any α, β ∈ Ω,

(x ≺ α,β y) ≺ α←β,γ z = x ≺ α,β←γ (y ≺ β,γ z) + x ≺ α,β→γ (y β,γ z), (4) (x α,β y) ≺ α→β,γ z = x α,β←γ (y ≺ β,γ z), (5) x α,β→γ (y β,γ z) = (x α,β y) α→β,γ z + (x ≺ α,β y) α←β,γ z. (6) Remark 2.4.
(a) If Ω is a set, we recover the definition of a two-parameter version of matching dendriform algebras [START_REF] Gao | Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras[END_REF] when we consider (Ω, ←, →) as a diassociative semigroup, that is, for any α, β ∈ Ω,

α ← β = α, α → β = β. 1
The original term in [START_REF] Loday | Dialgebras in Dialgebras and related operads[END_REF] is dimonoid. We have preferred the terminology diassociative semigroup of [12], as no unit element is involved here.

(b) If (Ω, ) is a semigroup, we recover the definition of two-parameter dendriform family algebras given in [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF] when we consider

α ← β = α → β = α β.
Two-parameter Ω-dendriform algebras are related to dendriform algebras and diassociative semigroups by the following proposition: Proposition 2.5. Let Ω be a set with two binary operations ← and →.

(a) Let A be a k-vector space and let

≺ α,β , α,β : A ⊗ A → A
be two families of bilinear binary products indexed by Ω × Ω. We define products ≺ and on the space A ⊗ kΩ by:

(x ⊗ α) ≺ (y ⊗ β) = (x ≺ α,β y) ⊗ (α ← β), (7) (x ⊗ α) (y ⊗ β) = (x α,β y) ⊗ (α → β). (8)
If (A ⊗ kΩ, ≺, ) is a dendriform algebra, then (4), ( 5) and (6) hold. (b) The following conditions are equivalent:

(i) For any A, (≺ α,β , α,β ) α,β∈Ω where A is a k-vector space and where (4), ( 5) and (6) hold, the vector space A ⊗ kΩ endowed with the binary operations ≺ and defined by [START_REF] Chapoton | Pre-Lie algebras and the rooted trees operad[END_REF] and ( 8) is a dendriform algebra, (ii) (Ω, ←, →) is a diassociative semigroup.

Proof. (a). Let us consider the three dendriform axioms:

(x ⊗ α) ≺ (y ⊗ β) ≺ (z ⊗ γ) = (x ⊗ α) ≺ (y ⊗ β) ≺ (z ⊗ γ) + (y ⊗ β) (z ⊗ γ) (x ⊗ α) (y ⊗ β) ≺ (z ⊗ γ) = (x ⊗ α) (y ⊗ β) ≺ (z ⊗ γ) (x ⊗ α) (y ⊗ β) (z ⊗ γ) = (x ⊗ α) (y ⊗ β) + (x ⊗ α) ≺ (y ⊗ β) (z ⊗ γ).
The first one gives:

(x ≺ α,β y) ≺ α←β,γ z ⊗ (α ← β) ← γ = x ≺ α,β←γ (y ≺ β,γ z) ⊗ α ← (β ← γ) (9) + x ≺ α,β→γ (y β,γ z) ⊗ α → (β ← γ).
Let f : kΩ -→ k be the linear map sending any δ ∈ Ω to 1. Applying Id A ⊗ f to both sides of (9), we obtain (4). Similarly, the second dendriform axiom gives (5) and the last one gives (6).

(b). (i) =⇒ (ii).

Let us consider the free 2-parameter Ω-dendriform algebra A on three generators x, y and z (from the operad theory, such an object exists). Let us fix α, β and γ in Ω. According to the relations defining 2-parameter Ω-dendriform algebras, x ≺ α,β←γ (y ≺ β,γ z) and x ≺ α,β→γ (y β,γ z) are linearly independent in A. Let g : A -→ k be a linear map such that

g x ≺ α,β←γ (y ≺ β,γ z) = 1, g x ≺ α,β→γ (y β,γ z) = 0.
Applying g ⊗ Id kΩ on both sides of (9), we obtain that there exists a scalar λ such that λ

(α ← β) ← γ = α ← (β ← γ). As (α ← β) ← γ and α ← (β ← γ) are both elements of Ω, necessarily λ = 1. Using a linear map h : A -→ k such that h x ≺ α,β←γ (y ≺ β,γ z) = 0, h x ≺ α,β→γ (y β,γ z) = 1, we obtain that (α ← β) ← γ = α → (β ← γ).
The other axioms of diassociative semigroups are obtained in the same way from the second and third dendriform axioms.

(ii) =⇒ (i). If (ii) holds, (9) immediately implies that the first dendriform axiom is satisfied for any A. The second and third dendriform axioms are proved in the same way.

Remark 2.6. We recover the ordinary (i.e. one-parameter) definitions of matching dendriform algebras in [START_REF] Gao | Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras[END_REF] (resp. dendriform family algebras in [34]) from Definition 2.3 if Ω is a set with diassociative semigroup structure given by α ← β = α and α → β = β for any α, β ∈ Ω (resp. if (Ω, ) is a semigroup with diassociative semigroup structure given by α ← β = α → β = α β for any α, β ∈ Ω), if we suppose that ≺ α,β depends only on β and α,β depends only on α:

≺ α,β =≺ β , α,β = α for α, β ∈ Ω.
A general definition of one-parameter dendriform family algebras encompassing both [START_REF] Gao | Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras[END_REF] and [34] has been recently proposed by the first author. This requires an extra structure of extended diassociative semigroup (in short, EDS) on the index set Ω, namely two extra binary products , subject to a bunch of compatibility axioms between themselves and with the diassociative structure (←, →) [12]. More precisely, if (Ω, ←, →, , ) is an extended diassociative semigroup and A, (≺ α , α ) α∈Ω is a one-parameter Ω-dendriform algebra in the sense of [12], then it is a 2-parameter Ω-dendriform algebra with the products ≺ α,β =≺ α β , α,β = α β . This is an immediate consequence of Proposition 18 of [12] and Proposition 2.5-(a).

2.2. Two-parameter Ω-duplicial algebras. We can mimick step by step the construction of Paragraph 2.1: Definition 2.7. [28, Paragraph 6.1] A duplicial semigroup 2 is a triple (Ω, ←, →), where Ω is a set and ←, →: Ω × Ω → Ω are maps such that, for any α, β, γ ∈ Ω :

(α ← β) ← γ = α ← (β ← γ), (α → β) ← γ = α → (β ← γ), (α → β) → γ = α → (β → γ). ( 10
)
Remark 2.8. Any diassociative semigroup is a duplicial semigroup, but the converse is not true: the two properties

α ← (β ← γ) = α ← (β → γ) and (α ← β) → γ = (α → β) → γ
are always verified in a diassociative semigroup, but are not required in a duplicial semigroup.

Definition 2.9. Let Ω be a duplicial semigroup with two products ← and →. A two-parameter Ω-duplicial algebra is a family (A, (≺ α,β , α,β ) α,β∈Ω ) where A is a vector space and

≺ α,β , α,β : A ⊗ A → A
are bilinear binary products such that for any x, y, z ∈ A, for any α, β ∈ Ω,

(x ≺ α,β y) ≺ α←β,γ z = x ≺ α,β←γ (y ≺ β,γ z), (11) (x α,β y) ≺ α→β,γ z = x α,β←γ (y ≺ β,γ z), (12) 2
The original terminology in [28] is duplex with the additional identity (α → β) ← γ = α → (β ← γ). A duplex is a set with two associative operations.

x α,β→γ (y β,γ z) = (x α,β y) α→β,γ z. [START_REF] Gao | Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras[END_REF] Two-parameter Ω-duplicial algebras are related to duplicial algebras and duplicial semigroups by the following proposition: Proposition 2.10. Let Ω be a set with two binary operations ← and →.

(a) Let A be a k-vector space and let ≺ α,β , α,β : A ⊗ A → A be two families of bilinear binary products indexed by Ω × Ω. We define products ≺ and on the space A ⊗ kΩ by:

(x ⊗ α) ≺ (y ⊗ β) = (x ≺ α,β y) ⊗ (α ← β), (14) (x ⊗ α) (y ⊗ β) = (x α,β y) ⊗ (α → β). ( 15
)
If (A ⊗ kΩ, ≺, ) is a duplicial algebra, then (11), ( 12) and (13) hold. (b) The following conditions are equivalent:

(i) For any A, (≺ α,β , α,β ) α,β∈Ω where A is a k-vector space and where (11), ( 12) and (13) hold, the vector space A ⊗ kΩ endowed with the binary operations ≺ and defined by ( 14) and ( 15) is a duplicial algebra, (ii) (Ω, ←, →) is a duplicial semigroup.

The proof is similar to the proof of Proposition 2.5 and left to the reader. Remark 2.11. A duplicial semigroup is nothing but a duplicial algebra in the monoidal category of sets. Hence the duplicial algebra structure on A ⊗ kΩ together with the Ω-grading yields a duplicial algebra structure on Ω. This property has no equivalent in the dendriform case. It owes to the fact that the duplicial operad is a set operad, whereas the dendriform operad is a linear operad which is not reducible to a set operad. Another occurrence of this phenomenon will be described in greater detail in Section 4 devoted to two-parameter family pre-Lie algebras. Now we give a concrete example of two-parameter Ω-duplicial algebra, which uses typed decorated planar binary trees [5,34]. Definition 2.12. Let X and Ω be two sets. An X-decorated Ω × Ω-typed (abbreviated twoparameter typed decorated) planar binary tree is a triple T = (T, dec, type), where (a) T is a planar binary tree. (b) dec : V(T ) → X is a map, where V(T ) stands for the set of internal vertices of T , (c) type : IE(T ) → Ω × Ω is a map, where IE(T ) stands for the set of internal edges of T .

Example 2.13. Let X and Ω be two sets. The typed decorated planar binary trees with three internal vertices are

(α, β) (γ, δ) x y z , (α, β) (γ, δ) x y z , (γ, δ) (α, β) x y z , (α, β) (γ, δ) x y z , (α, β) (γ, δ)
x y z with x, y, z ∈ X and (α, β), (γ, δ) ∈ Ω × Ω.

Denote by D(X, Ω) the set of two-parameter typed decorated planar binary trees. For any s ∈ D(X, Ω) we denote by s the subjacent decorated tree, forgetting the types. Definition 2.14. Let Ω be a set. For α, β ∈ Ω, first define [START_REF] Guo | Operated monoids, Motzkin paths and rooted trees[END_REF] s ≺ α,β t := s ≺ t + following types which means grafting t on s at the rightmost leaf, and the types follow the rules below:

• the new edge is typed by the pair (α, β);

• any internal edge of t has its type moved as follows:

(ω, τ) → (ω, τ ← β);

• any internal edge of s has its type moved as follows:

(ω, τ) → (α ← ω, τ);

• other edges keep their types unchanged. Similarly, we second define (17) s α,β t := s t + following types which means grafting s on t at the leftmost leaf, and the types follow the following rules:

• the new edge is typed by the pair (α, β);

• any internal edge of t has its type moved as follows:

(ω, τ) → (α → ω, τ);

• any internal edge of s has its type moved as follows:

(ω, τ) → (ω, τ → β);

• other edges keep their types unchanged.

Example 2.15. Let X and Ω be two sets. Let

s = (α 1 , α 2 ) (β 1 , β 2 )
x z y , and t =

(β 1 , β 2 ) m n . Then s α,β t = (α 1 , α 2 ) (β 1 , β 2 ) x z y α,β (β 1 , β 2 ) m n = (α, β) (α 1 , α 2 → β) (α → β 1 , β 2 ) (α 3 , α 4 → β) m x z y n , s ≺ α,β t = (α 1 , α 2 ) (β 1 , β 2 ) x z y ≺ α,β (β 1 , β 2 ) m n = (α 1 , α 2 ← β) (α 3 , α 4 ← β) (α ← β 1 , β 2 ) (α, β) x z m y n
Proposition 2.16. Let X and Ω be two sets. The pair D(X, Ω), (≺ α,β , α,β ) α,β∈Ω is a two-parameter Ω-duplicial algebra.

Proof. For s, t, u ∈ D(X, Ω) and α, β, γ ∈ Ω, we first prove Eq. [START_REF] Ebrahimi-Fard | A Lie theoretic approach to renormalization[END_REF]. Let us look at the right hand side of Eq. [START_REF] Ebrahimi-Fard | A Lie theoretic approach to renormalization[END_REF], that is, s ≺ α,β←γ (t ≺ β,γ u). We divide the procedure into two steps.

• First step: we deal with t ≺ β,γ u, we have the new edge typed by (β, γ); the edges of u have their types (ω, τ) changed into (β ← ω, τ); the edges of t have their types (ω, τ) changed into (ω, τ ← ω).

• Second step: we deal with s ≺ α,β←γ (t ≺ β,γ u), which means grafting t ≺ β,γ u on the rightmost leaf of s. The new edge has its type (α, β ← γ); the new edge of t ≺ β,γ u produced in the first step has its type (β, γ) changed into (α ← β, γ); the edges of u have their types (β ← ω, τ) changed into α ← (β ← ω), τ ; the edges of t have their types (ω, τ ← γ) changed into (α ← ω, τ ← γ); the edges of s have their types (ω, τ) changed into ω, τ ← (β ← γ) .

Let us now look at the left hand side of Eq. ( 11), that is, (s ≺ α,β t) ≺ α←β,γ u. We also divide into the procedure two steps.

• First step: we deal with s ≺ α,β t: we graft t on s, and the new edge typed by (α, β); the edges of t have their types (ω, τ) changed into (α ← ω, τ); the edges of s have their types (ω, τ) changed into (ω, τ ← β). • Second step: we deal with (s ≺ α,β t) ≺ α←β,γ u. The new edge typed by (α ← β, γ); the new edge of s ≺ α,β t has its type (α, β) changed into (α, β ← γ); the edges of s have their types (ω, τ ← β) changed into (ω, (τ ← β) ← γ); the edges of t have their type

(α ← ω, τ) changed into (α ← ω, τ ← γ); the edges of u have their types (ω, τ) changed into ((α ← β) ← ω, τ).
Comparing both sides and using the duplicial semigroup axioms proves Equation [START_REF] Ebrahimi-Fard | A Lie theoretic approach to renormalization[END_REF].

Second, we prove Equation ( 12). We use a table for comparison.

s α,β←γ (t ≺ β,γ u) (s α,β t) ≺ α→β,γ u the first step: t ≺ β,γ u
the first step: s α,β t new edge typed by (β, γ) new edge typed by (α, β) the edges of u the edges of s

(ω, τ) → (β ← ω, τ) (ω, τ) → (ω, τ → β) the edges of t the edges of t (ω, τ) → (ω, τ ← γ) (ω, τ) → (α → ω, τ) the second step: s α,β←γ (t ≺ β,γ u) the second step: (s α,β t) ≺ α→β,γ u the new edge typed by (α, β ← γ) the new edge typed by (α → β, γ) the new edge of t ≺ β,γ u the new edge of s α,β t (ω, γ) → (α → β, γ) (α, β) → (α, γ ← γ) the edges of t the edges of t (ω, τ ← γ) → (α → ω, τ ← γ) (α → ω, τ) → (α → ω, τ ← γ) the edges of u the edges of u (β ← ω, τ) → α → (β ← ω), τ (ω, τ) → (α ← β) ← ω, τ the edges of s the edges of s (ω, τ) → (ω, τ → (β ← γ)) (ω, τ → β) → (ω, (τ → β) ← γ)
So both the left hand side and right hand side coincide.

Last, Eq. ( 13) can be proved similarly to Eq. [START_REF] Ebrahimi-Fard | A Lie theoretic approach to renormalization[END_REF]. Details are left to the reader.

2.3.

On the operads of two-parameter duplicial or dendriform algebras. Let us assume that the parameter set Ω is finite, and let us denote its cardinality by w. We denote by Dend 2 Ω , respectively Dup 2 Ω , the non-sigma operad of two-parameter dendriform, respectively duplicial, algebras.

Proposition 2.17. For all n 1, considering the dimensions

r n = dim k Dend 2 Ω (n) = dim k Dup 2 Ω (n) , and their generating series R(X) = ∞ n=1 r n X n ∈ Q[[X]],
the following equation holds:

w 2 (w -1)R 3 + w(wX + 2w -2)R 2 + (2wX -1)R + X = 0. (18)
Moreover, the operads Dend 2 Ω and Dup 2 Ω are Koszul. Proof. We shall use the rewriting method [START_REF] Loday | Algebraic operads[END_REF][START_REF] Bremner | Algebraic operads -An algorithmic companion[END_REF] to obtain a PBW basis of the operad Dend 2 Ω or Dup 2

Ω . In order to unify the proof of the two cases, let us take λ ∈ {0, 1}. The presentation of the operad Dend 2 Ω (if λ = 1) or Dup 2 Ω (if λ = 0) gives the following three families of rewriting rules:

≺ α←β,γ ≺ α,β → ≺ α,β←γ ≺ β,γ + λ ≺ α,β→γ β,γ ≺ α→β,γ α,β → α,β←γ ≺ β,γ α→β,γ α,β → α,β→γ β,γ -λ α←β,γ ≺ α,β
We obtain then four families of critical monomials:

≺ (α←β)←γ,δ ≺ α←β,γ ≺ α,β , ≺ (α→β)←γ,δ ≺ α→β,γ α,β , ≺ (α→β)←γ,δ α→β,γ α,β , (α→β)→γ,δ α→β,γ α,β
.

For each of them, one has to check that the diagram of rewritings is confluent. Here is one of them:

T 1 / / T 2 / / T 3 = T 6 T 4 / / T 5 O O
with:

T 1 = ≺ (α→β)←γ,δ ≺ α→β,γ α,β , T 2 = ≺ α→β,γ←δ α,β ≺ γ,δ + ≺ α→β,γ→δ α,β γ,δ , T 4 = (α→β)←γ,δ α,β←γ ≺ β,γ , T 3 = α,β←(γ←δ) ≺ β,γ←δ ≺ γ,δ + λ α,β←(γ→δ) ≺ β,γ→δ γ,δ
,

T 5 = α,(β←γ)→δ ≺ β←γ,δ ≺ β,γ , T 6 = α,(β←γ)←δ ≺ β,γ←δ ≺ γ,δ + λ α,(β←γ)←δ ≺ β,γ→δ γ,δ
.

The equality between T 3 and T 6 comes from the first axiom of duplicial semigroups if λ = 0 and from the first axiom of diassociative semigroup if λ = 1. We leave to the reader the three other confluent diagrams. As a consequence, these finitely generated quadratic operads are Koszul and we obtain a basis of the operads Dend 2 Ω and Dup 2 Ω , given by planar binary trees the vertices of which are decorated by elements ≺ α,β or α,β , with α, β ∈ Ω, avoiding the trees of the form

≺ α←β,γ ≺ α,β , ≺ α→β,γ α,β , α→β,γ α,β .
We denote by R ≺ the formal series of such trees with root decorated by an element ≺ α,β and by R the formal series of such trees with root decorated by an element α,β , counted according to their number of leaves. Then:

R = w 2 (R ≺ + X)R + w(w -1)R R = w 2 R 2 -wR R, R ≺ = w 2 XR + w(w -1)(R + R ≺ )R = w 2 R 2 -w(R -X)R, R = X + R ≺ + R .
We obtain that:

R = w 2 R 2 1 + wR , R ≺ = w(w -1)R 2 + wXR.
Replacing in R = R ≺ + R + X, we obtain [START_REF]Foncteurs analytiques et espèces de structures[END_REF].

For example:

r 1 = 1,
r 2 = 2w 2 , r 3 = w 3 (8w -3), r 4 = 2w 4 (20w 2 -15w + 2), r 5 = w 5 (224w 3 -252w 2 + 75w -5), r 6 = 2w 6 (672w 4 -1008w 3 + 476w 2 -77w + 3), r 7 = w 7 (8448w 5 -15840w 4 + 10320w 3 -2772w 2 + 280w -7), r 8 = 2w 8 (27456w 6 -61776w 5 + 51480w 4 -19635w 3 + 3420w 2 -234w + 4).
r n = w 2 (w -1) i+ j+k=n r i r j r k + w 2 i+ j=n-1 r i r j + w(2w -2) i+ j=n r i r j + 2wr n-1 .
Let us proceed by induction on n. The results are obvious if n 3. Let us assume that n 4 and the results at all ranks < n. By [START_REF] Livernet | A rigidity theorem for pre-Lie algebras[END_REF], obviously r n ∈ Z[w]. Moreover, by the induction hypothesis:

• The first term of ( 19) is of degree 3 + 2n -6 = 2n -3.

• The second term of ( 19) is of degree 2 + 2n -6 = 2n -4.

• The third term of ( 19) is of degree 2 + 2n -4 = 2n -2; its coefficient of degree 2n -2 is

2 i+ j=n 2 i-1 Cat i 2 j-1 Cat j = 2 n-1 i+ j=n Cat i = 2 n-1 Cat n .
• The fourth term of ( 19) is of degree 1 + 2n -4 = 2n -3. Hence, r n is of degree 2n -2 and its leading coefficient is 2 n-1 Cat n . Still by the induction hypothesis:

• For the first term of ( 19):

-If i, j, k 2, then w 2 (w -1)r i r j r k is a multiple of w n+2 .

-If only one of i, j, k is equal to 1, then w 2 (w -1)r i r j r k is a multiple of w n+1 .

-If two of i, j, k are equal to 1, then the other one is equal to n -2 2 and w 2 (w -1)r i r j r k is a multiple of w n . Hence, this first term is a multiple of w n and its contribution to the coefficent of w n is -3(-1) n-2 (n -2).

• For the second term of ( 19):

-If i, j 2, then w 2 r i r j is a multiple of w n+1 .

-If one of i or j is equal to 1, then the second one is n -2 2 and w 2 r i r j is a multiple of w n . Hence, this second term is a multiple of w n and its contribution to the coefficent of w n is 2(-1) n-2 (n -2).

• For the third term of ( 19):

-If i, j 2, then w 2 r i r j is a multiple of w n+1 .

-If one of i or j is equal to 1, then the second one is n -1 2 and w(2w -2)r i r j is a multiple of w n . -If n is even, then any coefficent of r n is even. Hence, this third term is a multiple of w n and its contribution to the coefficent of w n is -2 × 2(-1) n-1 (n -1).

• The last term of ( 19) is a multiple of w n and its contribution to the coefficent of w n is 2(-1) n-1 (n -1).

Finally, r n is a multiple of w n and the coefficient of w n in r n is

-3(-1) n (n -2) + 2(-1) n (n -2) + 4(-1) n (n -1) -2(-1) n (n -1) = (-1) n n.
Let us assume that n is even. Then, in Z/2Z[w]:

r n ≡ w 2 (w -1) i+ j+k=n r i r j r k + w 2 i+ j=n-1 r i r j + 0[2].
As n is even, in the first term, one or three of i, j, k are even, so r i r j r k ≡ 0 [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF]; in the second term, one of i, j is even, so r i r j ≡ 0 [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF]. Finally, r n ≡ 0 [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF].

Reminders on operads and colored operads in the species formalism

Colored operads are natural tools to be used in the description of algebraic structures on graded objects. We give a description of those in the colored species formalism, mainly following the presentation of [9]. We also give a reminder of the more familiar monochromatic case, i.e. ordinary operads, and we decribe a pair (F, U) of adjoint functors from colored operads to monochromatic operads and vice-versa, along the lines of [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF].

3.1. Colored species. Let C be a bicomplete symmetric monoidal category, i.e. with small limits and colimits, which in particular implies the existence of products and coproducts indexed by an arbitrary set. We further suppose that the monoidal product is distributive with respect to coproducts is each variables, i.e.

       i∈I X i        ⊗         j∈J Y j         = (i, j)∈I×J X i ⊗ Y j
for any collections (X i ) and (Y j ) of objects indexed by arbitrary sets I and J. For example the category of sets (the product given by cartesian product and the coproduct given by disjoint union), or the category of vector spaces over a field k (the product given by cartesian product and the coproduct being given by direct sum) verify these properties [START_REF] Lane | Categories for the working mathematician[END_REF][START_REF] Adámek | Abstract and concrete categories, the joy of cats[END_REF]. The unit for the monoidal product will be denoted by 1, or 1 C if the mention of the category must be precised.

Monoidal categories of Ω-graded objects, where Ω is a semigroup, have been considered in [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF]. The symmetric monoidal structure is given by the Cauchy product, which uses the semigroup structure of Ω in an essential way. In absence of such a structure on our set Ω, we must go further and consider multiple gradings. Let F Ω be the category of Ω-colored finite sets defined as follows:

• objects are triples (A, α, ω) where A is a finite set, ω ∈ Ω (the output color) and α : A → Ω is a list of elements of Ω indexed by A (the input colors). The notion of colored species is originally due to A. Joyal [17]. This precise definition is borrowed from [9, Definition 2.2] which even provides a slightly more general framework: Ω-colored species correspond to (Ω, Ω)-collections therein. This can be straightforwardly extended to Ωcolored bi-species, where several output colors are also allowed, to treat the case of colored ProPs and properads, but we shall not pursue this line of thought here.

Let us provide a brief summary of the monochromatic case: the category F Ω boils down to the category F of finite sets with bijections when the set Ω of colors is reduced to one element. We recover then the usual notion of (contravariant) species [START_REF]Foncteurs analytiques et espèces de structures[END_REF][START_REF] Aguiar | Monoidal functors, species and Hopf algebras[END_REF][START_REF] Méndez | Set operads in combinatorics and computer science[END_REF]. A C-species is a contravariant functor from F into C, where F is the category of finite sets with bijections as morphisms. We stick to positive species, i.e. species P such that P ø = 0 C , where 0 C is the initial object of the monoidal category C [START_REF] Méndez | Set operads in combinatorics and computer science[END_REF]. We adopt M. Mendez' definition of an operad in the species formalism: Hence the operads considered here have no nullary operations. To be concrete, it is a positive species P together with partial compositions

• b : P B ⊗ P C -→ P B b C
for any b ∈ B, where B b C stands for (B \ {b}) C, subject to both sequential and parallel associativity axioms, which are stated as follows: for any finite sets B, C, D, for any α ∈ P B , β ∈ P C and β , γ ∈ P D we have

α • b (β • c γ) = (α • b β) • c γ, (α • b β) • b β = (α • b β ) • b β.
The definition of operads in terms of partial compositions is originally due to M. Markl [24, Paragraph 1.3] and can be traced back to M. Gerstenhaber [START_REF] Gerstenhaber | The cohomology structure of an associative ring[END_REF].

3.2. Colored operads. In a colored operad, a partial composition is possible if and only if the output color of the second argument matches the color of the chosen input of the first. This is formalized as follows:

Definition 3.3. The substitution product of two positive Ω-colored species is defined by [START_REF] Loday | Dialgebras in Dialgebras and related operads[END_REF] (P Q) A,α,ω := π set partition of A γ:π→Ω

P π,γ,ω ⊗ B∈π Q B,α | B ,γ(B) .
The substitution product is also defined on morphisms and is associative, making the category of positive Ω-colored species a (non-symmetric) monoidal category. The unit is the colored species 1 defined by 1 A,α,ω = 1 C if |A| = 1 and α = ω, and 1 A,α,ω = 0 otherwise. It can be written as Concretely, the global multiplication γ : P P → P is declined into functorial partial compositions [START_REF] Lane | Sheaves in Geometry and Logic, a first introduction to topos theory[END_REF] • a :

P A,α,ω ⊗ P B,β,ζ -→ P A a B, α a β, ω if ζ = α(a), 0 otherwise.
subject to parallel and sequential associativity axioms, and there is a unit e : 1 → P. Informally, the partial composition • a is nontrivial if and only if the output color of the second term matches the input color of the first term corresponding to a ∈ A, otherwise • a takes values in the terminal object 0 C .

For any set map κ : Ω → Ω , the color change functor from Ω -colored species to Ω-colored species is defined by [START_REF] Manchon | Pre-Lie family algebras[END_REF] (κ * P) A,α,ω

:= P A, κ•α, κ(ω)
for any (A, α, ω) ∈ F Ω . It respects both monoidal products , hence restricts from Ω -colored operads to Ω-colored operads. In particular, the case when Ω = { * } contains a unique element shows that any ordinary (monochromatic) operad Q can be promoted to an Ω-colored operad

Q Ω := κ * Q, with κ : Ω → { * }. The colored operad Q Ω is said to be uniform. This functor U : Q → Q Ω is
(V ω ) ω∈Ω of objects of C. A C Ω -morphism ϕ : (V ω ) -→ (W ω )
is a collection (ϕ ω ) ω∈Ω of C-morphisms ϕ ω : V ω → W ω . This is not a monoidal category: indeed, the tensor product of two Ω-graded objects is a collection indexed by Ω × Ω.

Remark 3.5. In the case when Ω is a semigroup, categories of Ω-graded objects can be given a monoidal structure by means of the Cauchy product [2, Paragraph 2.2]. We do not have this tool at our disposal here. A well-known example of Ω-colored operad, in a closed bicomplete monoidal category C, for example the category of k-vector spaces, is given by End(V) where V = (V ω ) ω∈Ω is an Ω-graded object:

(25) End(V) A,α,ω := Hom C        a∈A V α(a) , V ω        ,
where Hom C is the internal Hom [START_REF] Lane | Sheaves in Geometry and Logic, a first introduction to topos theory[END_REF][START_REF]Nlab webpage on internal Hom[END_REF]. Details are standard and left to the reader. An algebra over an Ω-colored operad P is an Ω-graded object V together with a morphism of colored operads Φ : P → End(V).

Definition 3.6. [2, Paragraph 2.2] An Ω-graded object V = (V ω ) ω is uniform if all homogeneous components are identical, i.e. if there is an object V of C such that V ω = V for any ω ∈ Ω. We write V = U(V) in this case. This defines a functor U : C → C Ω , which has a left adjoint, the forgetful functor F : C Ω → C defined by

F(V) := ω∈Ω V ω ,
which consists in forgetting the Ω-grading [2, Paragraph 2.4]. It has also a right adjoint, the completed forgetful functor F : C Ω → C defined by

F(V) := ω∈Ω V ω ,
which consists taking the completion with respect to the Ω-grading and then forgetting it.

Two-parameter Ω-pre-Lie algebras

The pre-Lie operad is no longer a set operad, hence new phenomena arise when seeking a compatible structure on the parameter set Ω. Indeed, four different associated set operads are involved. The first one is the well-known associative operad. The second one is the operad governing rings with the twist-associativity condition x(yz) = (yx)z, also known as Thedy rings [START_REF] Thedy | Ringe mit x(yz) = (yx)z[END_REF]. The third one is the operad governing rings with both NAP relation x(yz) = y(xz) and NAP' relation (xy)z = (yx)z. The concept of NAP algebra (NAP standing for Non-Associative Permutative) was introduced by M. Livernet [START_REF] Livernet | A rigidity theorem for pre-Lie algebras[END_REF], and also a couple of years before by A. Dzhumadil'daev and C. Löfwall under the name "left commutative algebras" [10, Section 7]. We use here the terminology NAP' for the second relation, in absence of a better name in the literature (up to our knowledge). The fourth operad governs rings with all previous relations at once, this is the wellknown Perm operad [6,[START_REF] Chapoton | Pre-Lie algebras and the rooted trees operad[END_REF]. After explaining this phenomenon in some detail, we give an explicit description of the twist-associative operad in terms of ordered pairs of distinct elements, and an explicit description of the NAPNAP' operad in terms of corollas, in the same spirit F. Chapoton and M. Livernet proved that the pre-Lie operad is given by labeled rooted trees [START_REF] Chapoton | Pre-Lie algebras and the rooted trees operad[END_REF].

4.1. Four possibilities. Let A be a vector space and let Ω be a set with a binary operation . Suppose that A ⊗ kΩ is endowed with an Ω-graded pre-Lie product:

(26) (x ⊗ α) (y ⊗ β) := x α,β y ⊗ (α β).
The pre-Lie axiom

(x⊗α) (y⊗β) (z⊗γ) -(x⊗α) (y⊗β) ⊗(z⊗γ) = (y⊗β) (x⊗α) (z⊗γ) -(y⊗β) (x⊗α) (z⊗γ)
together with the Ω-grading are equivalent to

x α,β γ (y β,γ z) ⊗ α (β γ) -(x α,β y) α β,γ z ⊗ (α β) γ = y β,α γ (x α,γ z) ⊗ β (α γ) -(y β,α x) β α,γ z ⊗ (β α) γ . ( 27
)
Eq. ( 27) induces four possible nontrivial different cases. The cardinality of the set α (β γ), (α β) γ, β (α γ), (β α) γ is equal to two for generic α, β, γ ∈ Ω in the three first cases, and equal to one in the last case. We discard the degenerate case of cardinality four. Then Ω is a kind of "twisted associative semigroup", a notion which has received little attention in the literature (see however [START_REF] Thedy | Ringe mit x(yz) = (yx)z[END_REF] and [START_REF] Weber | On Commutativity and Groupoid Identities between Products with 3 Factors[END_REF]). We have then [START_REF] Saidi | The pre-Lie operad as a deformation of NAP[END_REF] x α,β γ (y β,γ z) = -(y β,α x) β α,γ z and we recover a notion of "family twisted associative algebra" modulo a minus sign.

We now give examples of twisted semigroups, i.e. sets endowed with a binary product verifying Eq. ( 28 The product verifies Equation (28). Indeed, an easy computation yields dd X α (ee

X β f f X γ ) = (ee X β dd X α ) f f X γ = d f X α+β+γ+δ d +δ e +δ e +δ f .
We prove in Paragraph 4.2 that T D is the free twisted semigroup generated by D, and we give an explicit description of the twist-associative set operad.

Case 3: let

(30) α (β γ) = β (α γ), (α β) γ = (β α) γ
for any α, β, γ ∈ Ω. The first relation is the NAP condition. We call NAP' the second condition, and we call Ω a NAPNAP' set. Then

x α,β γ (y β,γ z) = y β,α γ (x α,γ z), (x α,β y) α β,γ z = (y β,α x) β α,γ z.
We obtain what we shall call family NAPNAP' algebras. We now give an example of set endowed with a binary product verifying Eq. ( 30), namely the set N of multisets of positive integers (including the empty multiset ø). Let n := {n 1 , . . . , n k }, p = {p 1 , . . . , p } and q = {q 1 , . . . , q m } be three elements of N. Define the product by

n p := {n 1 + • • • + n k + 1, p 1 , . . . , p }. Then, n (p q) = p (n q) = {n 1 + • • • + n k + 1, p 1 + • • • + P + 1, q 1 , . . . , q m } (n p) q = (p n) q = {n 1 + • • • + n k + p 1 + • • • + p + 2, q 1 , . . . , q m }.
We'll prove in Paragraph 4.3 that this is the free NAPNAP' set generated by the element ø, by giving an explicit description of the NAPNAP' operad.

Case 4: for any α, β, γ ∈ Ω,

α (β γ) = (α β) γ = β (α γ) = (β α) γ,
i.e. Ω is a set-theoretical Perm algebra. Then for any x, y, z ∈ A,

x α,β γ (y β,γ z) -(x α,β y) α β,γ z = y β,α γ (x α,γ z) -(y β,α x) β α,γ z.
This relation is very similar to the pre-Lie one, and deserves the name "pre-Lie family". We address this last case in Paragraph 4.4.

4.2.

The twist-associative operad TAs. Definition 4.1. Let P be the set species of non-diagonal ordered pairs, defined by

P { * } = {1}, P A = {(a , a ) ∈ A × A, a a }.
for any finite set A of cardinal ≥ 2. For any bijection φ : A → B where B is a finite set of the same cardinality than A, the relabeling isomorphism P φ : P B → P A is defined by

P φ (b , b ) = φ -1 (b ), φ -1 (b ) .
) ∈ P B , we set (31) (a , a ) • a (b , b ) =          (b , a ), if a = a ; (a , b ), if a = a ; (a , a ), if a {a , a }.
Partial compositions are extended to singletons by setting 1 as the unit.

Proposition 4.3. The species P together with the partial compositions • a defined by Eq. ( 31) is an operad.

Table: the nine cases for sequential associativity

The case-by-case proof is displayed in the following table:

(x • a y) • b z = (a , a ) • a (b , b ) • b (c , c ) x • a (y • b z) = (a , a ) • a (b , b ) • b (c , c ) 1 (b , a ) • b (c , c ) = (b , a ) (a , a ) • a (c , b ) = (b , a ) 2 (b , a ) • b (c , c ) = (c , a ) (a , a ) • a (b , c ) = (c , a ) 3 (b , a ) • b (c , c ) = (b , a ) (a , a ) • a (b , b ) = (b , a ) 4 (a , b ) • b (c , c ) = (a , b ) (a , a ) • a (c , b ) = (a , b ) 5 (a , b ) • b (c , c ) = (a , c ) (a , a ) • a (b , c ) = (a , c ) 6 (a , b ) • b (c , c ) = (a , b ) (a , a ) • a (b , b ) = (a , b ) 7 (a , a ) • b (c , c ) = (a , a ) (a , a ) • a (c , b ) = (a , a ) 8 (a , a ) • b (c , c ) = (a , a ) (a , a ) • a (b , c ) = (a , a ) 9 (a , a ) • b (c , c ) = (a , a ) (a , a ) • a (b , b ) = (a , a )
Let us now turn to parallel associativity. There are seven cases to consider. Here a and a stand for two different elements in A.

1 a = a , a = a 2 a = a , a {a , a } 3 a = a , a = a 4 a = a , a {a , a } 5
a {a , a }, a = a 6 a {a , a }, a = a 7 a {a , a }, a {a , a }

Table: the seven cases for parallel associativity

The case-by-case proof is displayed in the following table:

(x • a y) • a z = (a , a ) • a (b , b ) • a (c , c ) (x • a z) • a y = (a , a ) • a (c , c ) • a (c , c ) 1 (b , a ) • a (c , c ) = (b , c ) (a , c ) • a (b , b ) = (b , c ) 2 (b , a ) • a (c , c ) = (b , a ) (a , a ) • a (b , b ) = (b , a ) 3 (a , b ) • a (c , c ) = (c , b ) (c , a ) • a (b , b ) = (c , b ) 4 (a , b ) • a (c , c ) = (a , b ) (a , a ) • a (b , b ) = (a , b ) 5 (a , a ) • a (c , c ) = (c , a ) (c , a ) • a (b , b ) = (c , a ) 6 (a , a ) • a (c , c ) = (a , c ) (a , c ) • a (b , b ) = (a , c ) 7 (a , a ) • a (c , c ) = (a , a ) (a , a ) • a (b , b ) = (a , a )
Extending to the case where A, B or C has only one element is straightforward and left to the reader. 32) consistent. We get then

µ • 2 µ = (1, 2) • 2 (a, b) = (1, b) ∈ P {1,a,b} , µ • 1 μ = (1, 2) • 1 (b, a) = (a, 2) ∈ P {a,b,2} , hence µ • 2 µ = µ • 1 μ modulo the identification above.
For later use, for any A, B finite sets we define the product :

P A ⊗ P B → P A B by α β := (µ • 1 α) • 2 β.
An easy computation yields: Proof. We still adopt the notations in the proof of Proposition 4.4. The twist-associative operad is defined as the quotient of the magmatic operad M (the free operad generated by a single binary operation ν) by the ideal r . Let A, B, C be three finite sets. Defining ν as the image of ν in the quotient, we have

1 1 = µ, (33) 1 (x, y) = ( * , y), (34)
(38) α (β γ) = (β α) γ
for any α ∈ T A , β ∈ T B and γ ∈ T C , where is defined by

α β := ( ν • 1 α) • 2 β.
As the ordered pair µ = (1, 2) verifies the twist-associative relation [START_REF] Weber | On Commutativity and Groupoid Identities between Products with 3 Factors[END_REF], there is a unique surjective operad morphism Φ :

T → P such that Φ( ν) = µ. It obviously verifies (39) Φ(α β) = Φ(α) Φ(β)
for any α ∈ T A and β ∈ T B . Let us prove that Φ is bijective. Define Ψ A : P A → T A by induction on the arity n = |A| ≥ 2. For n = 1 we set Ψ(1) = 1, and for n = 2 it amounts to Ψ(µ) = ν. Suppose that the inverse Ψ of Φ is well-defined (and hence bijective) up to arity n, and let A be of cardinality n + 1. From (34), any (x, y) ∈ P A can be written (x, y) = 1 (x , y), where 1 ∈ P {x} and (x , y) ∈ P A\{x} . Hence we necessarily have

Ψ(x, y) = 1 Ψ(x , y).
It is well defined because it does not depend on the choice of x . Indeed, if another choice x is possible, then

(x, y) = 1 (x , y) = 1 1 (x , y) , hence 1 Ψ(x , y) = 1 1 Ψ(x , y) , (x , y) ∈ A \ {x, x } = 1 1 Ψ(x , y) , (x , y) ∈ A \ {x,
x } (by induction hypothesis), = 1 Ψ(x , y) (again by induction hypothesis).

We have

ΦΨ(x, y) = 1 ΦΨ(x , y) = 1 (x , y) = (x, y)
by induction hypothesis, hence Φ A Ψ A = Id P A . Furthermore, for any partition A = B C and for any β ∈ P B , γ ∈ P C we have

Ψ(β γ) = Ψ(β) ψ(γ).
This is easily proven by induction on the cardinality of B, the case |B| = 1 being equivalent to the definition of Ψ: if |B| ≥ 2 we write β = 1 β and then We leave it to the reader to show that K endowed with the partial compositions defined above is an operad, i.e. prove both sequential and parallel associativity axioms. Now define the product on K by

Ψ(β γ) = Ψ (1 β ) γ = Ψ β (1 γ) (by (37)) = Ψ(β ) Ψ(1 γ) (by induction on |B|) = Ψ(β ) 1 Ψ(γ) = 1 Ψ(β ) Ψ(γ) (by (38)) = Ψ(β) Ψ(γ).
β γ := ( 2 1 • 1 β) • 2 γ.
Proposition 4.7. The product verifies for any α, β, γ ∈ K:

(a) α (β γ) = β (α γ), (b) (α β) γ = (β α) γ.
Proof. Both sides of Equation (a) are equal to

      3 1 2 • 1 α • 2 β       • 3 γ,
      3 12 • 1 α • 2 β       • 3 γ.
Details are left to the reader.

Theorem 4.8. The operad K of corollas is the NAPNAP' operad.

Proof. The NAPNAP' operad is defined as the quotient of the magmatic operad M by the NAP and NAP' relations, namely

NAPNAP' := M µ • 2 µ -τ 12 (µ • 2 µ), µ • 1 µ -τ 12 (µ • 1 µ) .
Defining µ as the image of µ in the quotient, we further introduce the product on the NAPNAP' operad itself, defined by

α β := (µ • 1 α) • 2 β.
The NAP and NAP' relations for µ yield analogous relations for , namely (a) α

(β γ) = β (α γ), (b) (α β) γ = (β α) γ.
The corolla

Φ : NAPNAP' -→ K such that Φ(µ) = 2 1
. It is obvious that Φ changes the product into the product . It remains to prove that Φ is an isomorphism. We will prove the existence of an inverse Ψ : K B → NAPNAP' B of Φ : NAPNAP' B → K B for any finite set B by induction on the cardinal of B. The cases where B has one or two elements are trivial. Suppose the result to be true up to n elements, and let B be of cardinal n + 1. For any corolla structure β on B, there is r ∈ B and a partition

B\ {r} = B 1 • • • B p such that β = [B 1 , . . . , B p ] r .
We now proceed by a secondary induction on p. If p = 1, we have β = [B 1 ] r = β {r}, where β is any corolla structure on B \ {r}, and where we identify the one-element set {r} with the only corolla structure which exists on it. We set:

Ψ(β ) 1, ΦΨ(β) = ΦΨ(β ) ΦΨ({r}) = β by induction hypothesis. For p ≥ 2 we have β = [B 1 , . . . , B p ] r = β 1 [B 2 , . . . , B p ] r ,
where β 1 is any corolla structure on B 1 . We can define by induction hypothesis:

Ψ(β) := Ψ(β 1 ) Ψ([B 2 , . . . , B p ] r ).
We have again ΦΨ(β) = β for the same reasons. To make sure that Ψ(β) is well defined, one has to prove that the result is invariant under permutation of the p branches. Invariance under permutation of the p-1 last ones is obvious by secondary induction hypothesis. To get invariance under permutation of B 1 and B 2 , define

Ψ (β) := Ψ(β 2 ) Ψ([B 1 , B 3 . . . , B p ] r )
where β 2 is any corolla structure on B 2 . We then have

Ψ(β) = Ψ(β 1 ) Ψ([B 2 , . . . , B p ] r ) = Ψ(β 1 ) Ψ(β 2 ) Ψ([B 3 , . . . , B p ] r ) = Ψ(β 2 ) Ψ(β 1 ) Ψ([B 3 , . . . , B p ] r ) = Ψ (β).
Finally we also have ΨΦ = Id NAPNAP' . It is easily proven by induction on arity, using Ψ(α β) = Ψ(α) Ψ(β). This completes the proof of Theorem 4.8. 4.4. Two-parameter Ω-pre-Lie algebras and the Perm operad. Now we give the definition of two-parameter Ω-pre-Lie algebras. This requires that the product on Ω fulfils the requirements of the fourth case of Paragraph 4.1: Definition 4.9. Let Ω be a set-theoretical perm algebra [START_REF] Chapoton | Pre-Lie algebras and the rooted trees operad[END_REF]6], i.e. a set with a product such that

(40) α (β γ) = (α β) γ = β (α γ) = (β α) γ
for any α, β, γ ∈ Ω, i.e. we ask that the product is both associative and NAP. A two-parameter Ω-pre-Lie algebra is a family (A, ( α,β ) α,β∈Ω ) where A is a vector space and α,β : A ⊗ A → A, such that for any x, y, z ∈ A and α, β ∈ Ω, satisfying (41)

x α,β γ (y β,γ z) -(x α,β y) α β,γ z = y β,α γ (x α,γ z) -(y β,α x) β α,γ z.
The Perm operad governing relations (40) has been described in [6]. In the species formalism, Perm A := A for any finite set A, and the partial compositions are defined as follows: for any finite sets A, B, for any a, a ∈ A and b ∈ B,

a • a b = b if a = a ; a if a a .
Note that if (Ω, ) is a set-theoretical Perm algebra, then it is also a semigroup, a twisted associative semigroup, and a set-theoretical NAPNAP' algebra. On the other hand, commutative semigroups are set-theoretical Perm algebras, and Relation (41) is the one verified by Ω-relative pre-Lie algebras [START_REF] Aguiar | Dendriform algebras relative to a semigroup[END_REF]Paragraph 3.7] in this case. Hence, we can consider the operad As Ω of family associative algebras on Ω as in Case 1, TAs Ω of family twisted associative algebras on Ω defined by [START_REF] Saidi | The pre-Lie operad as a deformation of NAP[END_REF] As Ω

PreLie Ω / / / / 7 7 7 7

' ' ' '

TAs Ω

NAPNAP Ω

The four operads in the first diagram are set operads, and all arrows are surjective.

Color-mixing operads and family algebraic structures

We follow the lines of [2, Section 2], except that we consider gradings taking values in an arbitrary set Ω rather than in a semigroup. The key point is that if an algebraic structure on a graded object is compatible with the grading in a natural sense, this algebraic structure in turn provides an algebraic structure on Ω. For example, a degree-compatible associative algebra structure on a graded object yields a semigroup structure on Ω, a degree-compatible dendriform (resp. duplicial) algebra structure on a graded object yields a diassociative (resp. duplicial) semigroup structure on Ω, and so on. 5.1. Color-mixing operads. Let Ω be a set of colors and C be a bicomplete monoidal category. Keeping the notations of Paragraphs 3.2 and 3.3, for any operad P, all components P Ω A,α,ω of the colored operad P Ω are isomorphic once the finite set A of inputs is fixed. This reflects the fact that, if a P-algebra V is a coproduct

V = ω∈Ω V ω ,
any operation µ : V ⊗A → V with A-indexed inputs has a priori nonzero components

µ α,ω : a∈A V α(a) -→ V ω
for any α ∈ Ω A and ω ∈ Ω. This clearly contradicts the principle outlined in the introducting paragraph of this section, according to which the graded object V = (V ω ) ω∈Ω should be not only a P Ω -algebra, but also a "graded P-algebra" in some sense. This means that the output color ω should be a combination of the input colors α in a way prescribed by the operad P.

From now on, we consider color-mixing linear operads, i.e. we stick to the case when C is the category of vector spaces over some field k. The coproduct is now given by the usual direct sum ⊕. Guided by the dendriform and the pre-Lie examples detailed in the previous sections, we see that the color set Ω will be endowed with a P j -algebra structure, where P j is a set operad derived from the linear operad P. For example, if P is the dendriform operad, P j is the the diassociative operad, and if P is the pre-Lie operad, P j is the Perm operad. When P is the linearization of a set operad P, we should get P j = P, as the duplicial example suggests.

We suppose that P is of finite presentation, i.e. it can be written as

(42) P = M E R,
where E is a set species of generators, M E is the free set operad generated by E, and R is the operadic ideal of the linear operad M E = k.M E generated by a finite linearly independent collection µ 1 , . . . , µ N of elements. Each of these elements can be written as

µ i = k i j=1 λ i j µ i j ,
where (µ i j ) j is a linearly independent collection of monomial expressions involving elements of E and partial compositions, and λ i j ∈ k -{0}.

Definition 5.1. The set operadic equivalence relation generated by R is the finest equivalence relation R j on M E , compatible with the set operad structure, such that µ i p R j µ i q for any i ∈ {1, . . . , N} and p, q ∈ {1, . . . , k i }. The set operad associated to P is the set operad

P j := M E R j .
Remark 5.2. When P is given by the linearization of a set operad P, we have P j = P.

Remark 5.3. The set operad P j depends on the presentation chosen for the linear operad P. To see this, consider the free operad generated by three binary products µ, ν, ρ, and its quotient by the ideal generated by µ + νρ, which is isomorphic to the free operad generated by µ and ν.

Remark 5.4. Let Q be a quadratic set operad, and let P be the Koszul dual [START_REF] Ginzburg | Koszul duality for operads[END_REF] of its linearization. If E = Q 2 , the free set-operad M E generated by E is combinatorially represented by binary trees with labeled leaves, and vertices decorated by elements of E. Let ∼ be the equivalence on M E (3) such that M E (3)/ ∼ = Q(3). By definition of the Koszul dual, P is generated by E, and the relations T ∈C ±T = 0 hold, where C is a class of ∼ and the signs ± depend only of the form of the tree. Applying Definition 5.1, we obtain that R j =∼, so in this case, P j = Q. This holds for example if Q is the associative, or permutative, or diassociative operad: then P is the operad of, respectively, associative, or pre-Lie, or dendriform algebras, with their usual presentations.

Proposition 5.5. Let Ω be a set endowed with a P j -algebra structure. Considering the M Ealgebra structure on Ω given by the operad morphism π h : M E -→ → P j , (a) The colored subspecies

M Ω E of M Ω E defined by ( M Ω E ) A,α,ω := {µ ∈ (M E ) A , µ(α) = ω} is a set colored suboperad of M Ω E . (b) The colored subspecies M Ω E of M Ω E defined by ( M Ω E ) A,α,ω := k.( M Ω E ) A,α,ω is a linear colored suboperad of M Ω E . Proof. Let (A, α, ω) and (B, β, ζ) be two Ω-colored finite sets. Let µ ∈ ( M Ω E ) A,α,ω and ν ∈ ( M Ω E ) B,β,ζ . We have then by definition of M Ω E , µ(α) = ω and ν(β) = ζ.
Now let a ∈ A. The partial composition µ • a ν is defined in the colored operad M Ω E if and only if ζ = α(a). In that case we obviously have

ω = µ(α) = (µ • a ν)(α a β), hence µ • a ν ∈ ( M Ω E ) A a B, α a β, ω .
The second assertion is an immediate consequence of the first.

The following corollary is immediate:

Corollary 5.6. Let π be the projection from the free linear operad M E onto P, and let π be the projection from M Ω E onto P Ω . Suppose that Ω is a P j -algebra. Then the colored subspecies P Ω := π( M Ω E ) of P Ω is a linear colored suboperad of P Ω . Definition 5.7. The colored operad P Ω is the color-mixing operad associated to the operad P. It does depend on the presentation P = M E /R, and supposes a P j -algebra structure on Ω.

Remark 5.8. The notion of color-mixing operad was already approached in the case when Ω is a commutative semigroup : an Ω-colored operad in which the output color is the sum of the input colors was given the name current-preserving operad in [START_REF] Saidi | The pre-Lie operad as a deformation of NAP[END_REF]. 5.2. Graded algebras over a color-mixing operad and family structures. Let Ω be a set, let k be a field, and let P be an operad in the category of k-vector spaces. We keep the notations of the previous paragraphs, and in particular we fix a finite presentation P = M E /R. Definition 5.9. An Ω-graded P-algebra is an algebra over the Ω-colored operad P Ω , i.e. an Ω-graded k-vector space V together with a morphism of colored operads P Ω → End(V).

Let us remark that the notion of Ω-graded P-algebra depends on the presentation of the operad P. We are now ready to define Ω-family P-algebras, which could also be also called Ω-relative P-algebras in M. Aguiar's terminology [2, Definition 14]: Definition 5.10. An Ω-family P-algebra is an Ω-graded P-algebra for which the underlying Ω-graded object is uniform.

Again, this notion depends on the presentation of P.

Proposition 5.11. Any Ω-family P-algebra is an Ω-graded vector space U(V), where V is an algebra over the operad F( P Ω ).

Proof. By definition, an Ω-family P-algebra is given by a vector space V and a colored operad morphism Φ : P Ω -→ End U(V) .

We have End U(V) = U(EndV) by Equation [START_REF] Méndez | Set operads in combinatorics and computer science[END_REF]. The functor U of the left-(resp. right-) hand side is defined in Paragraph 3.3 (resp. 3.2). The functor U is right-adjoint to the forgetful functor F defined in Paragraph 3.2, hence there is a morphism of ordinary operads from F( P Ω ) to EndV.

Finally, we recover the close link between algebras and family algebras which was already observed on the known examples, and established by M. Aguiar in the case when Ω is a semigroup [2, Paragraph 2.4]: Proposition 5.12. A uniform Ω-graded vector space V = U(V) is an Ω-family P-algebra if and only if the vector space FU(V) = V ⊗ kΩ is an Ω-graded P-algebra.

Proof. From Proposition 5.11, the vector space V is a F( P Ω )-algebra. It means that for any finite set A, any element ν of P A gives rise to a collection (ν) α,ω of A-ary products on V, indexed by the pairs (α, ω) ∈ Ω A × Ω such that there exists µ ∈ P j A verifying µ(α) = ω. Due to the fact that there is only a finite number of such pairs for any given α, this collection gives rise to a unique A-ary product on V ⊗ kΩ, which is Ω-graded with respect to the P j -algebra structure of Ω. The converse is obvious.

Free one-parameter Ω-duplicial algebras

We give a general definition of one-parameter Ω-duplicial algebras in the spirit of [12], and we give the detailed construction of the free object in terms of Ω-typed trees. Definition 6.1. An extended duplicial semigroup (briefly, EDuS) is a family (Ω, ←, →, , ), where Ω is a set and ←, →, , : Ω × Ω → Ω are maps such that:

(a) (Ω, ←, →) is a duplicial semigroup. (b) For any α, β, γ ∈ Ω, α (β ← γ) = α β, (43) (α → β) γ = β γ, ( 44
) (α β) ← (α ← β) γ = α (β ← γ), ( 45
) (α β) (α ← β) γ = β γ, (46) α (β → γ) (β γ) = α β, (47) α (β → γ) → (β γ) = (α → β) γ. ( 48
)
Remark 6.2. Any extended diassociative semigroup is an extended duplicial semigroup, but among the 10 axioms describing the compatibility between the arrows and the triangles in an extended diassociative semigroup (numbers 4 to 13 in [12]), only six of them survive in an EDuS (numbers 4, 5, 6, 7, 12 and 13). Definition 6.3. Let (Ω, ←, →, , ) be an EDuS. A one-parameter Ω-duplicial algebra is a family A, (≺ α , α ) α∈Ω , where A is a vector space and ≺ α , α : A ⊗ A → A such that for any x, y, z ∈ A and α, β ∈ Ω,

(x ≺ α y) ≺ β z = x ≺ α←β (y ≺ α β z), (49) x α (y ≺ β z) = (x α y) ≺ β z, (50) x α (y β z) = (x α β y) α→β z. (51)
For any set Ω, in the spirit of [12], an Ω-matching duplicial algebra is a one-parameter Ωduplicial algebra in the sense above, where the EDuS structure on Ω is given by

α ← β = α, α ← β = β, α β = β, α β = α.
Now we describe free one-parameter Ω-duplicial algebras in terms of planar binary trees typed by Ω, that is, for which each internal edge is typed by single element of Ω. The set of Ω-typed X-decorated planar binary trees is denoted by T(X, Ω). We denote by T + (X, Ω) the set of such trees different from the trivial tree |. For any n ≥ 0, the set of trees with n internal vertices (and n + 1 leaves) is denoted by T n (X, Ω). So we have T(X, Ω) = n 0

T n (X, Ω), T + (X, Ω) = n 1

T n (X, Ω).

For example, T 0 (X, Ω) = {|}, T 1 (X, Ω) = This completes the proof.

Let j : X → kT + (X, Ω) be the map defined by j(x) = x for x ∈ X. Theorem 6.9. Let X be a set and let (Ω, ←, →, , ) be an EDuS. Then kT + (X, Ω), (≺ ω , ω ) ω∈Ω , together with the map j, is the free Ω-duplicial algebra on X.

Proof. By Proposition 2.16, we are left to show that kT + (X, Ω), (≺ ω , ω ) ω∈Ω satisfies the universal freeness property. For this, let D, (≺ ω , ω ) ω∈Ω be an Ω-duplicial algebra and let us define a linear map f :

kT + (X, Ω) → D T → f (T ) by induction on dep(T ) ≥ 1. Let us write T = T 1 ∨ x, (α 1 , α 2 ) T 2 with x ∈ X and α 1 , α 2 ∈ Ω. For the initial step dep(T ) = 1, we have T = x for some x ∈ X and define (55) f (T ) := f (x).

We define f (T ) by the induction on dep(T ) = k + 1 ≥ 2. Note that T 1 and T 2 can not be | simultaneously and define f (T ) := f (T 1 ∨ x, (α 1 , α 2 ) T 2 ) = f (T 1 ) α 1 f (x) ≺ α 2 ←ω f (T 2 ≺ α 2 ω U) (by Eq. ( 56))

:=          f (x) ≺ α 2 f (T 2 ), if T 1 = | T 2 ; f (T 1 ) α 1 f (x), if T 1 | = T 2 ; f (T 1 ) α 1 f (x) ≺ α 2 f (T 2 ), if T 1 | T 2 .
= f (T 1 ) α 1 f (x) ≺ α 2 ←ω f (T 1 ) ≺ α 2 ω f (U) (by the induction hypothesis)

= f (T 1 ) α 1 f (x) ≺ α 2 ←ω ( f (T 2 ) ≺ α 2 ω f (U)) (by Eq. ( 50))

= f (T 1 ) α 1 ( f (x) ≺ α 2 f (T 2 )) ≺ ω f (U) (by Eq. ( 49))

= f (T 1 ) α 1 ( f (x) ≺ α 2 f (T 2 ) ≺ ω f (U) (by Eq. ( 50))

= f (T 1 ) α 1 f (x) ≺ α 2 f (T 2 ) ≺ ω f (U) (by Eq. ( 50))

= f (T ) ≺ ω f (U) (by Eq. ( 56)).

Let us prove the uniqueness of f . Let ḡ be another morphism from kT + (X, Ω) to D such that ḡ x = f (x). First, for any a ∈ D and ω ∈ Ω, we define

a ω 1 = 1 ≺ ω a = 0, 1 ω a = a ≺ ω 1 = a.
For any T |, let T = T 1 ∨ x, (α 1 , α 2 ) T 2 . In fact, the form T = T 1 α 1

x ≺ α 2 T 2 include all the above four cases. We define ḡ(|) = 1 and ḡ(T ) = ḡ T 1 α 1

x ≺ α 2 T 2 = ḡ(T 1 ) α 1 f (x) ≺ α 2 ḡ(T 2 ).

So f = ḡ. This completes the proof.

  • morphisms are given by bijective maps from A onto B together with re-indexing of colors:a morphism ϕ : (A, α, ω) -→ (B, β, ζ)is given by an underlying bijective map ϕ : A → B under the two conditions that ω = ζ and α = β • ϕ, otherwise there is no morphism from (A, α, ω) to (B, β, ζ).Definition 3.1. An Ω-colored species P in the bicomplete monoidal category C is a contravariant functor (A, α, ω) → P A,α,ω from F Ω to C. The Ω-colored species is positive if moreover P ø,-,ω = 0 C for any ω ∈ Ω, where 0 C is the initial object.

Definition 3 . 2 .

 32 [17, Example 41], [25, Definition 3.1] An operad is a monoid in the category of positive species.

where 1 ω

 1 is the colored species defined by 1 ω A,α,ζ = 1 C if |A| = 1 and α = ζ = ω, and 1 ω A,α,ζ = 0 otherwise. The colored species 1 ω is sometimes slightly abusively called unit of color ω. Definition 3.4. A colored operad is a monoid in the monoidal category of positive Ω-colored species endowed with the substitution product.

Case 1 :

 1 let α (β γ) = (α β) γ for any α, β, γ ∈ Ω. Thus Ω is a semigroup. Then x α,β γ (y β,γ z) = (x α,β y) α β,γ z, for any α, β, γ ∈ Ω and we recover the notion of family associative algebra.Case 2: let (28) α (β γ) = (β α) γ for any α, β, γ ∈ Ω.

  ): for any set D we consider the set N D of maps form D into the set N = {0, 1, 2, 3, . . .} of nonnegative integers. Such a map will be denoted by α = (α d ) d∈D . For any d ∈ D, we denote by δ d the map such that δ d (d) = 1 and δ d (e) = 0 for any e ∈ D \ {d}. Any element α ∈ N D will be represented by the monomial X α in d variables defined by X α := d∈D X α d d . Now consider the set T D := D × D × N D . A generic element of T D will be denoted by dd X α with d, d ∈ D and α ∈ N D . Let us now define the product by dd X α ee X β := d e X α+δ d +β+δ e .

Definition 4 . 2 .

 42 Let A and B be two finite sets. Define partial compositions • a : P A ⊗ P B → P A B\{a} , for a ∈ A as follows: for any ordered pair (a , a ) ∈ P A and (b , b

Proof.

  Let A, B, C be three sets of cardinal ≥ 2, and let x = (a , a ) ∈ A × A, y = (b , b ) ∈ B × B, z = (c , c ) ∈ C × C. When we prove sequential associativity, there are nine cases to consider. 1 a = a , b = b 2 a = a , b = b 3 a = a , b {b , b } 4 a = a , b = b 5 a = a , b = b 6 a = a , b {b , b } 7 a {a , a }, b = b 8 a {a , a }, b = b 9 a {a , a }, b {b , b }

Proposition 4 . 4 .

 44 Let A = {1, 2}, let µ = (1, 2) ∈ P A , and let µ = (2, 1) be the other element of P A obtained by permutation. The twist-associativity relation(32) r = µ • 2 µµ • 1 μ = 0holds in the operad P.Proof. Denoting by {a, b} another copy of A (identifiying a with 1 and b with 2), both threeelement sets A 2 A and A 1 A are identified by means of the bijection

(x, y) 1 =

 1 (y, * ), (35) (x, y) (z, t) = (y, t) (36) for any x, y ∈ A and z, t ∈ B with x y and z t. It is easily checked that the product verifies the twist-associative identity (37) α (β γ) = (β α) γ for any finite sets A, B, C and for any α ∈ P A , β ∈ P B and γ ∈ P C . Theorem 4.5. The operad P of non-diagonal ordered pairs is isomorphic to the twist-associative operad T := M r , where r is the ideal generated by the twist-associative relation r = ν • 2 νν • 1 ν.

4 . 3 .

 43 Now any α ∈ T A can be written β γ with β ∈ T B , γ ∈ T C , where B and C are two finite sets of cardinality ≤ n such that A = B C. We have then ΨΦ(α) = ΨΦ(β γ) = ΨΦ(β) ΨΦ(γ) = β γ = α again by induction hypothesis, hence Ψ A Φ A = Id T A . This ends up the proof of Theorem 4.5. Let us remark that, forgetting the labels and putting instead a decoration by a given set D, we recover the description of the free twisted associative semigroup generated by D given in Paragraph 4.1. The operad NAPNAP of corollas. Definition 4.6. A corolla structure β on a finite set B is a quasi-order admitting one unique minimum r, such that any element different from r is a maximum. The unique minimum r is the root of the corolla. Any b r verifies r ≤ b but never b ≤ r. The non-root elements are partitioned into branches B 1 , . . . , B p , which are the equivalence classes (excluding the one of the root) under the relation ∼ defined by b ∼ b if and only if b ≤ b and b ≤ b. We shall write β = [B 1 , . . . , B p ] r . For example, on the finite set B : {a, b, c, d, e, f, g}, the notation β = [{b, c}, {d}, {e, f, g}] a stands for the corolla Let K B be the set of corolla structures on B. This forms a set species: any bijection ϕ : B → C induces a bijection K ϕ : K C → K B by relabeling. Now let us define the operad structure. Let B, C be two finite sets, let b ∈ B, let β ∈ K B and γ ∈ K C . Let r be the root of the corolla γ. The partial composition β • b γ : K B × K C → K B b C is defined as follows: • if b is the root of β, then β • b γ is the corolla on B b C obtained by choosing r as the root, and by keeping all branches in B b C \ {r}. In particular, elements in B \ {b} and elements in C \ {r} belong to different branches, and thus are uncomparable. • if b is not the root of β, then β • b γ is the corolla on B b C obtained by replacing b by the whole C in the branch of b. Let us give an example for better understanding.

  and both sides of Equation (b) are equal to

.

  Hence the operad morphism Φ from M onto K uniquely defined by Φ(µ) = by the NAP and NAP' relations, giving rise to the unique surjective operad morphism

  as in Case 2, NAPNAP Ω of family NAPNAP' algebras on Ω as in Case 3, and PreLie Ω of family pre-Lie algebras on Ω as in Case 4. Then, in an immediate way: Proposition 4.10. For any set-theoretical Perm algebra Ω, we have the two following diagrams.

=

  x x ∈ X , T 2 (X, Ω) = α x y , α x y x, y ∈ X, α ∈ Ω , (α→β, 1) | (by Eq. (53)) = α β y x ∨ z, (α→β, 1) | ( by Example 6.7 ) = α β y x (α→β) 1 | ∨ z, ((α→β)→1, 1) | (by Eq. (54)) = α β y x α→β | ∨ z, (1, 1) | (by Item (a) of Definition 6.6 and Eq. (54)) (T α β U) α→β W.This completes the proof of the initial step. For the induction step of dep(T )+ dep(U) + dep(W) = k + 1 ≥ 4. First, we have (T ≺ α U) ≺ β W = (T 1 ∨ x, (α 1 , α 2 ) T 2 ) ≺ α U ≺ β W = T 1 ∨ x, (α 1 , α 2 ←α)) (T 2 ≺ α 2 α U) ≺ β W (by Eq. (52)) = T 1 ∨ x, (α 1 , (α 2 ←α)←β) (T 2 ≺ α 2 α U) ≺ (α 2 ←α) β W (by Eq. (52)) = T 1 ∨ x, (α 1 , (α 2 ←α)←β) T 2 ≺ (α 2 α)← (α 2 ←α) β (U ≺ (α 2 α) (α 2 ←α) β W) (by the induction hypothesis) = T 1 ∨ x, (α 1 , α 2 ←(α←β)) T 2 ≺ α 2 (α←β) (U ≺ α β W)(by Eqs. (45-46) and definition (2.7))= (T 1 ∨ x, (α 1 , α 2 ) T 2 ) ≺ α←β (U ≺ α β W) (by Eq. (52)) = T ≺ α←β (U ≺ α β W).Second, we haveT α (U ≺ β W) = T α (U 1 ∨ y, (β 1 , β 2 ) U 2 ) ≺ β W = T α U 1 ∨ y, (β 1 , β 2 ←β) (U 2 ≺ β 2 β W) (by Eq. (53)) = (T α β 1 U 1 ) ∨ y, (α→β 1 , β 2 ←β) (U 2 ≺ β 2 β W) = (T α β 1 U 1 ) ∨ y, (α→β 1 , β 2 ) U 2 ≺ β W (by Eq. (52)) = T α (U 1 ∨ y, (β 1 , β 2 ) U 2 ) ≺ β W = (T α U) ≺ β W.Last, we haveT α (U β W) = T α U β (W 1 ∨ z, (γ 1 , γ 2 ) W 2 ) = T α (U β γ 1 W 1 ) ∨ z, (β→γ 1 , γ 2 ) W 2 (by Eq. (53)) = T α (β→γ 1 ) (U β γ 1 W 1 ) ∨ z, (α→(β→γ 1 ), γ 2 ) W 2 (by Eq. (53)) = T (α (β→γ 1 )) (β γ 1 ) U (α (β→γ 1 ))→(β γ 1 ) W 1 ∨ z, (α→(β→γ 1 ), γ 2 ) W 2 (by the induction hypothesis) = (T α β U) (α→β)→γ 1 W 1 ∨ z, ((α→β)→γ 1 , γ 2 ) W 2 (by Eqs. (47-48) and Definition (2.7)) = (T α β U) α→β (W 1 ∨ z, (γ 1 , γ 2 ) W 2 ) = (T α β U) α→β W.

2 . 7 )

 27 are left to prove that f is a morphism of Ω-duplicial algebras:f (T ≺ ω U) = f (T ) ≺ ω f (U) and f (T ω U) = f (T ) ω f (U),in which we only prove the first equation by induction on dep(T ) + dep(U) ≥ 2, as the proof of the second one is similar. WriteT = T 1 ∨ x, (α 1 , α 2 ) T 2 and U = U 1 ∨ y, (β 1 , β 2 ) U For the initial step dep(T ) + dep(U) = 2, we have T = x and U = y for some x, y ∈ X. So we have f (T ≺ ω U) = f = f | ∨ x, (1, ω) y = f (x) ≺ ω f y (by Eq. (56)) = f x ≺ ω f y (by Eq. (55)) = f (T ) ≺ ω f (U).For the induction step of dep(T ) + dep(U) ≥ 3, we have four cases to consider. Case 1:T 1 = | and T 2 = |. Then f (T ≺ ω U) = f (| ∨ x, (1, 1) |) ≺ ω U = f | ∨ x, (1, 1←ω) (| ≺ 1 ω U) (by Eq. (52)) = f (| ∨ x, (1, ω) U) = f (x) ≺ ω f (U) (by Eq. (56)) = f (T ) ≺ ω f (U).Case 2:T 1 = | and T 2 |. Then f (T ≺ ω U) = f (| ∨ x, (1, α 2 ) T 2 ) ≺ ω U = f | ∨ x, (1, α 2 ←ω) (T 2 ≺ α ω U (by Eq. (52)) = f (x) ≺ α←ω f (T 2 ≺ α 2 ω U) (by Eq. (56)) = f (x) ≺ α←ω f (T 2 ) ≺ α 2 ω f (U) (by the induction hypothesis) = f (x) ≺ α 2 f (T 2 )≺ ω f (U) (by Eq. (49))= f (T ) ≺ ω f (U) (by Eq. (56)).

Case 3 :

 3 T 1 | and T 2 = |. This case is similar to Case 2. Case 4: T 1 | and T 2 |. Then f (T ≺ ω U) = f (T 1 ∨ x, (α 1 , α 2 ) T 2 ) ≺ ω U = f T 1 ∨ x, (α 1 , α2←ω) (T 2 ≺ α 2 ω U) (by Eq. (52))

  Remark 2.18. If w = 1, one recovers duplicial and dendriform algebras, and r n (1) is the n + 1 Catalan number Cat n+1 , sequence A000108 of the OEIS[START_REF] Sloane | The On-line Encyclopedia of Integer Sequences[END_REF]. The sequences r n (w) for w = 2, 3 or 4 are not referenced (yet) in the OEIS. Proposition 2.19. Let n 1.(a) r n is a polynomial in Z[w], of degree 2n -2, and its leading coefficient is 2 n-1 Cat n .(b) If n 2, there exists a polynomial t n ∈ Z[w], such that r n = w n t n . Moreover, t n (0) = (-1) n n.

	Proof. By (18), if n 2,
	(19)

Acknowledgments: The third author is very grateful to the Laboratoire de Mathematiques Blaise Pascal of Universite Clermont Auvergne (Clermont-Ferrand, France) for providing a position in France as a visiting PhD. student at the time of writing this paper. She is supported by the National Natural Science Foundation of China (Grant No. 12071191), the Natural Science Foundation of Gansu Province (Grant No. 20JR5RA249) and the financial support of the China Scholarship Council (No. 201906180045).

The depth dep(T ) of a rooted tree T is the maximal length of linear chains of vertices from the root to the leaves of the tree. For example, Definition 6.4. Let T 1 , T 2 ∈ T(X, Ω), and α, β ∈ Ω. We denote by T 1 ∨ x, (α, β) T 2 the tree T ∈ T(X, Ω) obtained by grafting T 1 and T 2 on a common root. If T 1 |, the type of the internal edge between the root of T and the root of T 1 is α. If T 2 |, the type of internal edge between the root of T and the root of T 2 is β. We also decorate the new vertex by x, x ∈ X. Remark 6.5. Note that any element T ∈ T n (X, Ω), with n ≥ 1, can be written under the form

This writing is unique except if T 1 =| or T 2 =|: in this case, one can change arbitrarily α or β. In order to solve this notational problem, we add an element denoted by 1 to Ω and we shall always assume that if

Definition 6.6. Let Ω be a set with four products ←, →, , . We define binary operations (≺ α , α ) α∈Ω on kT + (X, Ω) recursively on dep(T )

T ω U := (T ω β 1 U 1 ) ∨ y, (ω→β 1 , β 2 ) U 2 , where ω ∈ Ω. (53)

In the following, we employ the convention that ( 54)

Example 6.7. Let T = x and U = y with x, y ∈ X. For ω ∈ Ω, we have

. Proposition 6.8. Let X be a set and (Ω, ←, →, , ) be an EDuS. Then kT + (X, Ω), (≺ ω , ω ) ω∈Ω is an Ω-duplicial algebra.

Proof. Let ( by Example 6.7 )

(by Eq. ( 52))

verifying Eq. (49). Next,

( by Example 6.7 )