My PhD will be about toposes representations by quantales (which are another generalization of locales) and quantaloids (which are quantales with seve...

Hello ! Welcome here ! I was too a student at Paris-Saclay, even though I'm leaving to do a PhD next year. I did also read the books by René Cori and ...

@orlando Hi, I was mostly thinking about page 281, especially the first half, which expresses a general, almost algorithmic way to compute a classifyi...

@orlando I'm a beginner too, but I know Olivia Caramello gave in her book a general method to compute the classifying topos of a quotient theory of ...