Operad: Commutative Pre-Lie

abbreviation

ComPreLie

category

Zvec

type

symetrique

dimensions

1, 3, 19, 189, 2576, 44683

OEIS: A052888

Serie: (log(1+x)*exp(-x)).reverse()

properties

binary, quadratic

generateurs

• generator > of type s[1]**2
• generator * of type s[1,1]

relations

• equality: (x>y)>z - x>(y>z) = (x>z)>y - x>(z>y)
• relation: (x*y)>z - (x>z)*y - x*(y>z)
• equality: (x*y)*z = x*(y*z)

morphisms

→ PreLie, → Com

References

• A. Mansuy, 2013 ↗
• L. Foissy, 2013 ↗