Relative Scott adjunction conjecture for Grothendieck topoi
Relative Scott adjunction conjecture for Grothendieck topoi
Let be a Grothendieck topos, and let . Relative Scott adjunction conjecture. There is a -adjunction
Moreover, if is a -topos, the relative version of the -Scott adjunction holds for every . 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
Sign in to submit a solution.
No solutions have been posted yet.