Definition Iterable midpoint algebra [efr-JP37]

November 5, 2025
Eigil Fjeldgren Rischel

A midpoint algebra $(A,m)$ in $\mathcal {C}$ is iterable if, for each $s: X \to X \times A \in \mathcal {C}$ , there is a unique $u : X \to A$ so that the diagram