Operad: Dual Greg
- abbreviation
-
Greg!
- category
- Zvec
- type
- symetrique
- dimensions
-
1, 3, 5, 7, 9, 11
OEIS: A005408
Formula: 2 * n - 1
Serie: (2*x-1)*x.exp()+1
- properties
-
binary,
quadratic,
Koszul
- Koszul dual operad
-
Greg
- generateurs
-
- generator * of type s[1]**2
- generator c of type s[2]
- relations
-
- equality: (x*y)*z = x*(y*z)
- equality: x*(y*z) = x*(z*y)
- relation: (xcy)*z + (zcx)*y + (ycz)*x
- equality: (xcy)*z = (x*z)cy
- relation: x*(ycz)
- relation: (xcy)cz
- morphisms
-
→ ComMag!,
→ Perm
References
Operadia