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.
References
Primary source
Ivan Di Liberti and Lingyuan Ye, “Logic and Concepts in the 2-category of Topoi”, arXiv:2504.16690 (2025).
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.