Descent of preorderlike topoi under free group actions
Descent of preorderlike topoi under free group actions
Let be a topos which is preorderlike, meaning that is a preorder for every topos . Let be a group object in , and suppose there is a free group action
Descent conjecture. The descent object of -equivariant sheaves on is also preorderlike.
This proposes that preorderlikeness is preserved by descent along free group actions. The source presents the claim as something that “seems to be true,” so its status is unresolved in the supplied text.
Sources & referencesView supporting material
Primary source
Ivan Di Liberti and Lingyuan Ye, “Logic and Concepts in the 2-category of Topoi”, arXiv:2504.16690 (2025).
Progress summary
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.