They are small but Tarski-Grothendieck's axiom has been added. that means that you can always find sets of sufficient size where all the operations you expect in set theory are available: powerset, union etc. So as I understand it, they are small but you will never notice it.
However it would be interesting to identify where being small matters. I had tried to add an alternate definition where we could deal with not small categories but Norm didn't want it. It is reasonable to keep the system sound but that means there is no way to understand precisely where smallness occurs precisely in the theory. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b5e0497b-933a-4553-8c7f-b3e14d63aac6%40googlegroups.com.
