Bonjour, It's a shame that many of the symbols you use on your web page don't seem to work on my browser (I get a lot of boring boxes amongst more i...

It might be informative to consider the adjunction featuring the forgetful functor, since it behaves dually to a local homeomorphism. The forgetful fu...

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

The classifying topos for a given theory in a "sub-geometric" fragment of logic is a category of sheaves on the corresponding syntactic category for t...