On Wed, Jan 29, 2020 at 7:57 AM 'fl' via Metamath <[email protected]> wrote:
> 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. > Actually, when you are doing relativized category theory, the smallness is quite explicit - the relativizing sets (traditionally called "universes", although I put no particular requirements on them). These sets can be in a containment relationship which indicates that you are in a larger category, and so the smaller one is the "small" category and the larger one is the "large" category, and you can have as many levels of this as you want. -- 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/CAFXXJSvNM-dhzbh85qX9XR4DdpBxQagTZbg9338yNmk2mtJy4w%40mail.gmail.com.
