Odpowiedzi na post #101

AFAIK said models assume the existence of inaccesible cardinals which is IMO a very bold axiom. The Axiom of Choice has some nasty consequences...

For the working mathematician, just saying "okay it's actually a class, my bad" and adding "locally small" to your categories works well enough...