1 problem

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 3 days ago

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