What is a reference for "the equivalence between geometric theories and frames internal to the free topos"? [1] This seems to be an extremely interesting theorem.
[1] André Joyal, “A crash course in topos theory: the big picture”, lectures at Topos à l'IHÉS, 2015.
