DavidHolmes comments on Generalised models as a category

[DavidHolmes]

So the set of worlds, $W$, is the set of functions from $F$ to …

I guess the $F$ should be a $\overline{F}$? Also, you don’t seem to define $E$; perhaps $E=W$?

[Stuart_Armstrong]

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