Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 11th 2012

    added at Grothendieck universe at References a pointer to the proof that these are sets of κ\kappa-small sets for inaccessible κ\kappa. (also at inaccessible cardinal)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 4th 2021

    hereby moving the following old query box discussion from out of the entry to here:


    +– {: .query} I don’t really like how this page looks now, since it focuses once more on the ’evil’ set theory. I think that I’ll rewrite it to talk about strongly inaccessible cardinal numbers first, which is a reasonable approach from any perspective, and then look at how you can say this more directly in both material and structural set theory. That means that I’ll restore some text that was removed (not much of that was moved to universe in a topos), but this time I’ll verify the correctness of the structural material (using universe in a topos as a guide) as I go. — Toby

    Mike: I’m not sure I agree. Firstly, I actually think it is better to define what you really want — in this case, a collection of sets closed under the operations we need — and only later observe that it may be equivalent to something in terms of inaccessible cardinals. I also expect that the equivalence between universes and inaccessibles requires the axiom of choice, so wouldn’t it be better to separate them? Finally, this page is called ’Grothendieck universe,’ not inaccessible cardinal, so I think that here we should take the universes as primary, not their cardinals.

    Toby: I disagree that this is is ’what [we] really want’; the definition below is only what we want if we’re using material set theory, which for the most part we aren’t in the nLab. So it’s really out of place to focus on that.

    But I’m not sure that you understand my intention, either. In explaining the point of universe to Urs, or more generally in explaining the point in a structural way, I find the cardinal number the easiest way to get at what matters. It is, as I said before, the bottom line for any proposed (re)definition. So I intend to define Grothendieck universes, certainly, although I intend to define them in terms of cardinal numbers. (Or rather, in terms of isomorphism classes of sets, but using cardinal arithmetic, so I’ll call those cardinal numbers.) The discussion of inaccessible cardinals would be only lemmatic (if that’s a word); if I get around to doing it, then you’ll see what I mean.

    But here’s another possibility: Maybe we should reserve this page for the strict notion in material set theory and make another page, say universe, for the non-evil concept. Then most (if not all) links here would really want to go there. I’m not sure that I like this, since ’universe’ has other meanings, but maybe there’s another term that we could use that doesn’t conflict with this term? In any case, if you want something like that, then I can go along with it. What I really don’t want is a bunch of links on the lab implying that category theorists deal with size issues using something that’s fundamentally part of material set theory.

    Mike: I can definitely get behind that last sentence. ’Grothendieck universe’ seems to be used pretty much everywhere with the material version in mind, but this is probably just because people don’t understand or trust structural set theory, and of course the structural version would be just as good for the purposes people use them for. So I think it would be okay if we include both the material and structural versions on this page. (I definitely don’t think we should include only the structural version.)

    Of course the definition below is only correct in material set theory, but there is also a straightforward structural version that you wrote down, in terms of families, that makes no reference to cardinality. What I don’t see is why the cardinal number is “what matters” or “the bottom line for any proposed (re)definition.” It seems to me that what’s important for category theory is that we have a collection of sets, called ’small,’ which are closed under various constructions (power sets, indexed unions, etc.), so that the resulting category Set Set of small sets behaves the way we want it to. It’s completely irrelevant whether “small” is defined to mean ’of cardinality less than κ \kappa ’ for some κ \kappa , or defined in some other way. If you assume the axiom of choice, then any collection of small sets closed under enough constructions will consist precisely of the sets of cardinality <κ \lt \kappa for some κ \kappa , but in the absence of choice, I see no reason for that to be true. All of this is equally true materially and structurally.

    (As an aside, I’m not so sure that on the nLab we ’aren’t’ using material set theory; rather, I think that practically everything we do is completely agnostic as to whether the foundation is material or structural. In fact, if you assume the axioms of choice and foundation, then the two are completely equivalent — a model of ZFC can be reconstructed, up to isomorphism, from its category of sets, and that category of sets is determined, up to equivalence, by its well-founded-set-objects.)

    Mike: In fact, you yourself wrote at foundations:

    I understand all these large cardinals much better in terms of their categories of small sets. =–


    diff, v53, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2023

    added pointer to:

    • Saunders MacLane, One universe as a foundation for category theory, In: Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, Springer (1969) 192-200 [doi:10.1007/BFb0059147]

    diff, v54, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2023

    added pointer to:

    diff, v54, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2023

    added pointer to:

    diff, v54, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2023

    to the list of references on set-theoretic foundations for category theory via Grothendieck universes I added these:

    diff, v57, current