When I am not doing applied mathematics in business (fashionably called *data science* these days) I do basic work towards self-dual topos theory. My name is Phillip-Jan van Zyl.

Hi Phillip-Jan. What does "self-dual topos theory" consist of/look like?

Dear Morgan

In my setting, I work in a category together with a functor into that category.

I define duality as taking the op-functor. Thus, self-dual means that when you formulate the property (and you will end up formulating it in relation to the chosen functor) then the dual property, attained by reversing F: D -> C to F^op: D^op -> C^op, also has to hold.

My supervisor for my MSc was Zurab Janelidze, and this idea comes from him in his formulation of group theory via a self-dual functor (of subobjects). This has been extended to set theory by constructing a higher order pullback of the subjobject and quotient functors. In turn, his formulation is related to Grothendieck's idea of fibrations (since you are also working with a category and a functor into it, moreover, often in my setting it is often a fibration, opfibration or bifibration); in topology it is related to Guillaume Brümmer's topological functor; also, in lattice theory it is inspired by work by Marco Grandis (his subobject lattice conditions do hold for groups in Zurab Janelidze's setting).

You can formulate a self-dual subobject/quotient classifier in this way, and you can also construct a generalised adjunction (using the category of families of sets) that generalises a adjunction chain property of groups. In terms of Zurab's group theory self-dual axioms, you can readily generalise them to sets (my MSc) or alternatively, you can use that pullback of the subobject functor and quotient functor and his axioms directly hold then for Set.

This shows, in more informal language, that Set is Noetherian (Z. Janelidze and F. Koch van Niekerk), which essentially means that Set can be viewed as more "group-like" than it seems under the more traditional group theory axioms. Pointed sets, or Set^op can already be viewed as algebraic (in loose terms), but in fact Set itself is more like algebraic structure than we would expect from our intuition around the difference between algebra and set theory.

Best regards

Phillip-Jan