Ramana Kumar comments on Committing, Assuming, Externalizing, and Internalizing

[Ramana Kumar]

Let ${\beta }_i:A_i\to B_i$, send each element of $A_i$ to its part in $B_i$, so $\alpha \left(a\right)=\{a^{\prime }\in A_i|\forall e\in E_i,v(a^{\prime }\cdot e)=v(a\cdot e\left)\right\}$.

Presuming the $\alpha$ here should be a ${\beta }_i$

[Scott Garrabrant]

Fixed, thanks.