logo of Operadia Operadia

Operad: Leibniz

abbreviation
Leib
category
vec
type
symetrique
dimensions

1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800

OEIS: A000142

Formula: factorial(n)

Serie: x/(1-x)

Equation: (1-x)*P-x

properties
Koszul, binary, quadratic, anticyclic
Koszul dual operad
Zin
generateurs
  • generator c of type s[1]**2
relations
  • equality: (xcy)cz = xc(ycz) + (xcz)cy
morphisms
→ Lie, → Dias

References