Ramana Kumar comments on Multiplicative Operations on Cartesian Frames

[Ramana Kumar]

a few more typos. (do say if these nits aren’t wanted.)

$\to (A_0\bigsqcup A_i)\times B$ is the natural bijection

(should be: $A_1$)

while the right hand side is $S$

(should be: in $S$)

[Scott Garrabrant]

I want and appreciate nits. Fixed.