26
$\begingroup$

Question 1. Is there a categorical representation of Kunen's inconsistency result?

Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and supercompact cardinals)?

Question 3. Is there a categorical characterization of $0^{\sharp}$?

Remark 1. A categorical characterization of other large cardinals is also welcome.

Remark 2. Andreas Blass in the paper "Exact functors and measurable cardinals" has proved that the existence of a measurable cardinal is equivalent to the existence of a non-trivial exact functor from the category of sets to the category of sets.

Would you please give references for such matters.

Remark 3. The following papers may have some information about the relation between category theory and large cardinals:

1) Adequate subcategories-Isbell

2) Small adequate subcategories-Isbell,

3) Structure of categories-Isbell,

4) Exact functors and measurable cardinals-Blass,

5) Exact functors, local connectedness and measurable cardinals-Adelman & Blass.

$\endgroup$
14
  • 8
    $\begingroup$ Vopenka's principle has a well-known category theoretic interpretation. $\endgroup$ Aug 26, 2013 at 3:46
  • 3
    $\begingroup$ The interplay of (significantly) large cardinals and category theory has been the focus of recent research of Bagaria and his collaborators. From what I understand (from discussions with him), there were quite a few results in both fields that only needed researchers fluid enough in both ways of thinking to make concrete. For applications of supercompactness, see his paper with Carles Casacuberta and Adrian Mathias on Epireflections and supercompact cardinals, available at his webpage ay ICREA. $\endgroup$ Aug 26, 2013 at 4:01
  • 5
    $\begingroup$ The paper also presents generous references on Vopěnka's principle from a category theoretic point of view. See also their paper with Jiri Rosicky, Definable orthogonality classes in accessible categories are small, available at the ArxiV. $\endgroup$ Aug 26, 2013 at 4:05
  • 6
    $\begingroup$ Regarding question 1, Dustin Mulcahey and I are working on an article exploring various senses in which one has or does not have an analogue of the Kunen inconsistency in category theory. But this is not yet ready... $\endgroup$ Aug 26, 2013 at 4:34
  • 4
    $\begingroup$ Here's an old one: in his paper "Adequate subcategories" (Illinois Journal of Mathematics 4 (1960), 541-552, Theorem 2.5), John Isbell showed that the full subcategory of Set consisting of a single countable set is codense if and only if there are no measurable cardinals. $\endgroup$ Aug 26, 2013 at 11:49

1 Answer 1

4
$\begingroup$

In the paper Proof theory and set theory Takeuti has given such a characterization for measurable cardinals, strongly compact cardinals, supercompact cardinals and even large cardinals.

Let me first give the characterization for what Takeuti calls an $\omega$-huge cardinal. Call $\kappa$ is $\omega$-huge if there exists a non-trivial elementary embedding $j: V_\gamma \to V_\gamma$ with critical point $\kappa$ such that $\gamma=\sup_{n<\omega}\kappa_n$ with $\kappa_0=\kappa$ and $\kappa_{n+1}=j(\kappa_n)$.

Let $\mathcal{C}$ be the category whose objects are the sets $V_\alpha,$ $\alpha$ an ordinal and whose arrows are elementary embeddings. Then the following are equivalent:

  1. There is an $\omega$-huge cardinal,

  2. there exists a functor $F: \mathcal{C} \to \mathcal{C}$ and a nontrivial natural transformation $\eta: F \to F.$

Now let give a characterization of measurable cardinals. $\kappa$ is measurable iff there exists a functor $F:\bf Set \to Set$ such that:

  1. $F$ commutes with direct limits whose cardinality is $<\kappa,$

  2. $F$ commutes with pullbacks and pushouts, and

  3. $F$ does not commute with the following simplest direct limit with the cardinality $\kappa$:

    $F(\kappa) \neq \operatorname{dirlim} (F(\alpha), (F(i_{\alpha, \beta}))_{\alpha \leq \beta <\kappa}$,

where $i_{\alpha, \beta}$ is the identity map from $\alpha$ to $\beta.$

$\endgroup$
1
  • $\begingroup$ So, $\omega$-huge is just I3? $\endgroup$
    – Asaf Karagila
    Dec 17, 2020 at 16:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.