Relative Scott adjunction conjecture for Grothendieck topoi

Let E\mathcal{E} be a Grothendieck topos, and let ωλκ\omega \leq \lambda \leq \kappa. Relative Scott adjunction conjecture. There is a 22-adjunction

SE:E-AccωTopoi/E:ptE.\mathsf{S}_{\mathcal{E}}: \mathcal{E}\text{-Acc}_{\omega} \leftrightarrows \operatorname{Topoi}_{/\mathcal{E}}: \mathsf{pt}_{\mathcal{E}}.

Moreover, if E\mathcal{E} is a κ\kappa-topos, the relative version of the λ\lambda-Scott adjunction holds for every ωλκ\omega \leq \lambda \leq \kappa. This is proposed as a relative version of the Scott adjunction over a Grothendieck topos; the source frames it as a possibility and gives no evidence of a proof or resolution.

Sources & referencesView supporting material

Primary source

Ivan Di Liberti, “The Scott adjunction”, arXiv:2009.07320 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.