Definition [efr-Z9IU]

Let \mathcal {C} be a coinflip Markov category. Then it is called externally iterable if the midpoint algebras \mathcal {C}(X,Y) are all iterable in \mathsf {Set}. It is said to be internally iterable if they are all internally iterable.