Stuart_Armstrong comments on Generalised models as a category

[Stuart_Armstrong]

Thanks! Corrected both of those; $E$ is a subset of $W$.