Operad: Dual Lie-admissible

abbreviation

LieAdm!

category

set

type

symetrique

dimensions

1, 2, 1, 1, 1, 1

OEIS: A294619

Formula: lambda n: 2 if n == 2 else 1

Serie: x.exp()+x**2/2-1

properties

binary, quadratic, Koszul, monomial

Koszul dual operad

LieAdm

generateurs

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

relations

• equality: (x*y)*z = x*(y*z)
• equality: (x*y)*z = (x*z)*y
• equality: (x*y)*z = x*(z*y)
• equality: (x*y)*z = y*(z*x)
• equality: (x*y)*z = (y*z)*x
• equality: (x*y)*z = z*(y*x)
• equality: (x*y)*z = (z*y)*x
• equality: (x*y)*z = z*(x*y)
• equality: (x*y)*z = (z*x)*y
• equality: (x*y)*z = y*(x*z)
• equality: (x*y)*z = (y*x)*z

morphisms

→ Com, → ComMag!

References