Logical endofunctors of Set? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T09:08:18Z http://mathoverflow.net/feeds/question/4044 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4044/logical-endofunctors-of-set Logical endofunctors of Set? Mike Shulman 2009-11-04T03:25:15Z 2009-12-09T01:36:21Z <p>What set-theoretic assumptions are necessary and sufficient to ensure the existence of a nontrivial (i.e. not isomorphic to the identity) endofunctor of the category Set which is logical (i.e. preserves finite limits and power objects&mdash;hence also finite colimits and exponentials)?</p> <p>On the lower end, Andreas Blass proved ("Exact functors and measurable cardinals") that there exists a nontrivial <em>exact</em> endofunctor of Set (that is, preserving finite limits and colimits) iff there exists a measurable cardinal. Since logical functors are <em>a fortiori</em> exact, the existence of a measurable cardinal is a necessary condition. On the upper end, any nontrivial elementary embedding j:V→V surely induces a logical endofunctor of Set, so the existence of a <a href="http://en.wikipedia.org/wiki/Reinhardt%5Fcardinal" rel="nofollow">Reinhardt cardinal</a> is a sufficient condition. But can it be pinned down more precisely?</p> http://mathoverflow.net/questions/4044/logical-endofunctors-of-set/6164#6164 Answer by Joel David Hamkins for Logical endofunctors of Set? Joel David Hamkins 2009-11-19T20:24:30Z 2009-11-19T20:24:30Z <p>There is a set theoretic axiom due to Paul Corazza called the Wholeness Axiom, which is stated in the language of ZFC augmented by a single unary function symbol j. The axiom expresses, as a scheme, that j is a nontrivial elementary embedding from V to V. That is, we have the elementary axiom scheme, expressing "for all x, phi(x) iff phi(j(x))" and the nontriviality axiom, expressing "exists x, j(x) not=x" and the critical point axiom, expressing "there is a least ordinal kappa such that kappa &lt; j(kappa)". </p> <p>Under this axiom, j really is an elementary embedding from the universe V to V, and so this presumably induces the kind of functor you want. </p> <p>The point is that the large cardinal consistency strength of this axiom is weaker than a Reinhardt cardinal. In fact, it is strictly below an I3 cardinal. </p> <p>But the situation with this axiom is not great, since the j you get will not be a definable class in the usual sense of ZF. Also, you will not have the Replacement Axiom in the full language with j. So to make use of the axiom, you in effect give up a little of what you mean by the existence of such a j.</p> <p>There is an ambiguity, isn't there, in the question when you ask about the existence of a proper class object. What kind of existence is desired? The question is not directly formalizable in ordinary set theory, since the question is itself a quantification over proper classes (although Kelly Morse set theory would accommodate this). Do you want a definable class? Do you want a class in the sense of Goedel-Bernays? Having a relaxed attitude about this allows the large cardinal consistency strength of the answer to come down.</p>