Stuart_Armstrong comments on Generalised models as a category

[Stuart_Armstrong]

Thanks so much! Typos have been corrected.