In material set theories (like ZFC), one can prove that there is no set of all sets. Can one prove a similar statement in ETCS? This exact statement "there is no set x such that y in x for every set y" is not expressible in ETCS because ETCS is a structural set theory. But however is there a way to nevertheless talk about size issues in ETCS?
Also, in ETCC, which axiomatizes the category of categories, can one there prove/formulate a statement like "There is no category that contains every category"?