2 problems

0 votes0 replies0 views
Conjecture that Fiore's sheaf model is equivalent to the canonical sheaf topos on omega-Esps
Let $\mathcal{H}=\mathbf{Sh}(\mathbf{P},J_{\mathrm{can}})$ be the sheaf topos associated with the full subcategory $\mathbf{P}$ of $\omega\mathbf{CPO}$ consisting of retracts of Sc…
Conjectureopensheaf-topoi synthetic-domain-theory topos-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Dominance and synthetic domain theory conjecture for Pitts' realizability topos
Dominance and synthetic-domain-theory conjecture. A subcollection of the $\fe0^1_1$ -sets forms a dominance in ${\cal E\!f\!f}_{\cal J}$ , and this topos has a model of Synthetic Dom…
Conjecturesolvedrealizability synthetic-domain-theory topos-theoryarXiv posted 2 days ago

Conjecture that Fiore's sheaf model is equivalent to the canonical sheaf topos on omega-Esps