Mateusz Bagiński comments on Basic Inframeasure Theory

[Mateusz Bagiński]

Proposition 8: If $f\in C(X,[0,1\left]\right)$ and $g:X\to Y$ is continuous, then $E_{g_{\ast }\left(H\right)}\left(f\right)=E_H(f\circ g)$

I’m pretty sure this should be $f\in C(Y,[0,1\left]\right)$ because otherwise the types don’t match.