19 февр. 2014 г. · There are some basic discussions on the motivations of large categories and small categories: On the large cardinals foundations of categories, ...

25 авг. 2017 г. · My question here is why doesn't one need to study the "full" categories of schemes, topological spaces, vector spaces, symmetric spectra.

3 мар. 2021 г. · Take a category C whose objects are the disjoint union of elements of F, and we have exactly one morphism between any two objects belonging to ...

28 мар. 2011 г. · Consider the example of the category Set, which is a large category whatever foundational workaround you use. The nerve of Set is not a ...

4 нояб. 2024 г. · The question is basically "do we really have a good way to talk about large categories internally in an elementary topos?"

29 окт. 2015 г. · This lead to trying to define "largeness" and "smallness" in terms of colimits, ie, large categories as colimits of diagrams of small categories ...

29 сент. 2020 г. · The remark states that we should replace S by ˆS the large ∞-category of spaces. I agree this is what we do 1-categorically when S is replaced ...

4 нояб. 2024 г. · The question is basically "do we really have a good way to talk about large categories internally in an elementary topos"?

14 мая 2013 г. · An inaccessible certainly has the advantage that all of normal mathematics happens below this cardinal. A proper class of inaccessibles means ...

6 июл. 2019 г. · Here are three (related) examples. The first one is simple (although not really related to physics): an En-space is "just" an (∞,n)-category ...