Not signed in (Sign In)

Start a new discussion

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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics 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 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan 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 natural nforum nlab nonassociative 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 string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory 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.
    • CommentAuthorMike Shulman
    • CommentTimeMay 8th 2010
    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 9th 2010

    Excellent. Thank you, Mike.

    What references do you recommend for set theory? Are there any advanced structural accounts available?

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeMay 9th 2010

    No, I don’t think there’s much of anything written from a structural point of view. (Maybe one day we’ll change that.) You just have to read the materialist stuff and think “well-founded extensional relation” whenever they do something very \in-centric. (-: I don’t think I have any book recommendations that are different from what a material set theorist would tell you, like Kunen and Jech. I liked Kanamori for large cardinals specifically.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 9th 2010

    Well, that’s what I figured. :-) Actually, I’ve been thinking I should buy Jech.

    Wrote the beginning of an article on ultrapower.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeMay 11th 2010

    Kunen is a fantastic lecturer (unfortunately I attended just about 3 times one half a course each time from him).

    • CommentRowNumber6.
    • CommentAuthorJohn Baez
    • CommentTimeApr 10th 2016

    I learned a nice thing about measurable cardinals, which I added to this page. There exists a measurable cardinal iff there’s an exact functor F:SetSetF : Set \to Set that’s not naturally isomorphic to the identity!

    I assume the idea is that if there’s a measurable cardinal, SetSet is so big it becomes ’floppy’.

    Anyway, I like the idea of finding category-theoretic equivalents of large cardinal axioms.

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 10th 2016

    Yep, that’s due to Andreas Blass (as I see you’ve noted).

    Here’s another. Let’s back up a minute, and consider the axiom of infinity as a large cardinal axiom! Now one such axiom of infinity is existence of a non-principal ultrafilter on a set (this implies the set is infinite, and under the axiom of choice we also have the converse direction).

    As Tom Leinster had mentioned a while back at the Café, in one of his ultrafilter posts, an ultrafilter on a set XX is equivalent to a map 3 X33^X \to 3 between Endo(3)Endo(3)-acts (sets which carry actions of the monoid M=Endo(3)=hom(3,3)M = Endo(3) = \hom(3, 3)). It is principal if the map 3 X33^X \to 3 comes from evaluation at a point.

    What we are dealing with here is an ambimorphic (or janusian or schizophrenic) adjunction, where we are viewing 33 as living in two worlds, one world being SetSet, the other being Set MSet^M. We have a contravariant adjunction induced by the ambimorphic object 33, given by the two contravariant functors Set(,3):SetSet MSet(-, 3): Set \to Set^M and Set M(,3):Set MSetSet^M(-, 3): Set^M \to Set. We have a unit of the adjunction

    u X:XSet M(Set(X,3),3)u_X: X \to Set^M(Set(X, 3), 3)

    which maps xXx \in X to the evaluation map ev x:Set(X,3)3ev_x: Set(X, 3) \to 3. The large cardinal axiom on XX here is that the unit u Xu_X is not an isomorphism.

    One can play the same game with other ambimorphic adjunctions. You don’t get any new concept of ’large cardinal’ here if you replace 33 by another finite set nn. But:

    • The smallest example XX where the unit u X:XSet Endo()(Set(X,),)u_X: X \to Set^{Endo(\mathbb{N})}(Set(X, \mathbb{N}), \mathbb{N}) is not an isomorphism, if one exists, is the smallest measurable cardinal.

    Lawvere pointed out these facts in a post to Andrej Bauer at the categories mailing list. He mentions a few more examples of a more continuous (as opposed to discrete) character, which I don’t feel I understand properly, but inevitably of type where the existence of a unit map (of some ambimorphic adjunction of this monoid-action type) is not an isomorphism is equivalent to existence of a measurable cardinal. Something apparently along these lines is mentioned here, for instance.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeApr 11th 2016
    • (edited Apr 11th 2016)

    My advisor, Joel W. Robbin proved in his early days (probably in late 1960s, unpublished) that the set-theoretic analogue (if I recall right that there is an antiequivalence of category of sets and of commutative unital algebras with involution by taking algebra of all complex functions in one direction and characters in another) of Gelfand-Neimark theorem (antiequivalence of category of locally compact Hausdorff spaces and of commutative C *C^\ast-algebras, in unital case just compact Hausdorff spaces) holds iff there are measurable cardinals. I think I have seen some refinements of this in the newer literature. I never thought it through though.

    • CommentRowNumber9.
    • CommentAuthorJohn Baez
    • CommentTimeApr 11th 2016

    You’re making it sound like every commutative unital (complex) algebras with involution is isomorphic to one of the form X\mathbb{C}^X for some set XX, at least if there’s a measurable cardinal. But how could that be? What about algebras with nilpotents, for example?

    Anyway, some result of this general ilk would be very interesting to me - though not for any good reason, just because it sounds cool.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)