logo of Operadia Operadia

Operad: Dual Alia

abbreviation
Alia!
category
vec
type
symetrique
dimensions

1, 2, 1, 0, 0, 0

Serie: x+x**2+x**3/6

properties
binary, quadratic, Koszul
Koszul dual operad
Alia
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
SkewMag!, → ComMag!

References