Как называется это свойство функции?

Question

Предположим, что у вас есть функция f: List a -> a такая, что f ассоциативна и f (x, y, z) === f (x, f (y, z)). Существует ли условное название для этого последнего свойства?

Примерами функций с этим свойством являются AND, XOR, сумма, произведение и GCD. Примерами ассоциативных функций без этого свойства являются NAND и XNOR.

Я считаю, что свойство эквивалентно утверждению, что f (xs) === reduce (f, xs).

Answer 1

Похоже, это также эквивалентно утверждению, что f является катаморфизмом ассоциативной двоичной функции и ее нейтрального элемента. Не совсем скатывается язык.

(Кроме того, NAND не является ассоциативным. Мой плохой.)