Errata to “Isomorphism theorems between models of mixed choice,” fixes and consequences

Abstract The results of Section 3.1 of the 2017 paper “Isomorphism Theorems between Models of Mixed Choice” need an additional assumption when $\bullet$ is “ $1$ .” If $\bullet$ is nothing or “ $\leq 1$ ,” no change is needed. Also, the mistake only applies to the angelic cases, namely to the maps $r_{{\mathtt {A}}{\mathtt {P}}}$ and $s^\bullet _{{\mathtt {A}}{\mathtt {P}}}$ ; the demonic cases $r_{{\mathtt {D}}{\mathtt {P}}}$ and $s^\bullet _{{\mathtt {D}}{\mathtt {P}}}$ are unaffected. If $\bullet$ is “ $1$ ,” and in the angelic cases, instead of just assuming that $\mathcal L X$ is locally convex, we need to additionally assume that $X$ is compact, or that $\mathcal L X$ is locally convex-compact, sober, and topological – for example, if $X$ is core-compact – or that $X$ is LCS-complete, namely, a homeomorph of a $G_\delta$ subspace of a locally compact sober space.