A 'sum' is a sequence of terms joined by addition.
A 'product' is a sequence of terms joined by multiplication.
Is there a general term for terms joined by a general associative operation, that mathematicians would know? Is it 'sequence'?
In Haskell this would be implemented as a fold, but what do you call the thing it acts on? 'Iterable' and 'Enumerable' are too computer-sciencey.
It's possible this question has no good answer.
@christianp Induction/recursion principle maybe? Or σ-algebra.
@amiloradovsky you're naming the process, and I want a name for the terms, considered together
@christianp Well, I could also imagine folding over trees, given by two binary operations — one for breadth and one for depth. There may be other generalizations.
@amiloradovsky yeah, I'm not interested in those generalisations for the thing I'm working on
@christianp P.S. The most general structure that may be folded with just a total binary operation is probably a well-ordered (sub)set.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.