@misc{indiciaefff545b4f763, title = {Effective descent morphisms of ordered families}, author = {Maria Manuel Clementino and Rui Prezado}, year = {2025}, url = {https://arxiv.org/abs/2407.08573}, note = {Source identifier: 2407.08573} }