What is a reference for "the equivalence between geometric theories and frames internal to the free topos"? This seems to be an extremely interesting theorem.
Equivalence between geometric theories and frames internal to the free topos
user1022117
- 714
- 2
- 13