## MK+CCMK+CC as a foundation for category theory

Has any work been done on what MK+CC looks like as a foundation for category theory? Is it ‘the same’ as restricting to inaccessibles in some precise manner? According to wikipedia, any category with all unrestricted limits is thin. This is typically formulated in ZFC as the statement that any small category with all small … Read more