talkParametrised categories and categories by proxy