Return to Revisions

3 of 4

question was already bumped, added top level tag

edited Nov 8, 2022 at 13:23

10.1k
3
30
88

Equivalence between geometric theories and frames internal to the free topos

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.

reference-request ct.category-theory topos-theory categorical-logic

asked Feb 8, 2022 at 17:31

714
2
13