I'm currently trying to understand to what extent a set theory like ZFC can be mirrored within category theory, i.e. topos theory.

What appears as an obstacle to me is the axiom of regularity, which solves some paradoxical foundational questions and the related well-foundedness concepts: In a category theoretical set theory, e.g. ETCS, the point is to avoid a membership predicate "$\in$" and nestings of sets like $b\in a,\ c\in b,\ d\in c,\dots$. Subobjects are characterized via arrows and the "regular" topoi which are like set theories characterize elements as single injections too.

Does category theory let us formulate any statement which relates to regularity?

Naively it would appear that the theory doesn't leave us any choice but exclude the phenomenon which the classical formulations axiomize away. But then to what extend does the theory leave you a choice and to what extend can you deviate from it?

Appearently non-well-foundedness is a thing now. (And I even read somewhere on MathOverflow that the proof of the abc-conjecture relates to it.) And so I assume you can speak about it in category theory as well.

  • 2
    $\begingroup$ mathoverflow.net/a/118009/7206 may interest you (as may the rest of that thread, including the links there) $\endgroup$
    – Asaf Karagila
    Jul 4 '13 at 19:35
  • 2
    $\begingroup$ Also, note that in $\sf ZFC$ it's perfectly fine to have $a\in b\in\ldots$, but you can't have $\ldots\in b\in a$. $\endgroup$
    – Asaf Karagila
    Jul 4 '13 at 19:39
  • $\begingroup$ @AsafKaragila: Thanks for the link, I'll read now. And I've never though about it that way, but of course, e.g. $a,\{a\},\{\{a\}\},\{\{\{a\}\}\},\dots$ are all legal. The question concernes only the downward chains then. $\endgroup$
    – Nikolaj-K
    Jul 4 '13 at 19:50
  • $\begingroup$ Then you might want to correct your question, which at the moment speaks about upward chains. $\endgroup$
    – Asaf Karagila
    Jul 4 '13 at 19:55
  • 5
    $\begingroup$ The main question is more important than the comments. $\endgroup$
    – Asaf Karagila
    Jul 4 '13 at 20:05

Topos theory yields a wholeheartedly structural set theory — the question is not a meaningful one, since objects having 'elements' is a matter of convention rather than being any intrinsic part of the identity of the object.

Furthermore, unlike type theory where each each type comes with a canonical interpretation (and we can talk about well-founded types), topos theory doesn't even have that: category theory only cares about the identity of objects up to isomorphism.

To wit, while ZFC would carefully distinguish between two terminal sets $\{ \varnothing \}$ and $\{ \{ \varnothing \}\}$, the point of view from category theory is that they are isomorphic objects, and thus interchangeable (by transport along isomorphisms) for all purposes.

Thus, we can arrange for a descending chain of element inclusions where the unique element of a one-point set

More generally, any set $S$ represents a canonical subobject of $\mathcal{P}(S)$: specifically the subobject given by the "singleton set" function $S \to \mathcal{P}(S)$.

For a more interesting example, consider the function $f : \mathbb{Z} \to \mathcal{P}(\mathbb{Z})$ given by

$$ f(x) = \{ y \in \mathbb{Z} \mid y \leq x \} $$

$f$ is monic, and thus identifies $\mathbb{Z}$ with a subobject of $\mathcal{P}(\mathbb{Z})$. Thus, the binary relation $\in$ defined by its graph in $\mathbb{Z} \times \mathcal{P}(\mathbb{Z})$ restricts to a relation on $\mathbb{Z} \times \mathbb{Z}$ (in fact, precisely the relation $\leq$), and thus we have lots of nontrivial membership chains.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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