TY - RPRT TI - Effective descent morphisms of ordered families AU - Maria Manuel Clementino AU - Rui Prezado PY - 2025 UR - https://arxiv.org/abs/2407.08573 ID - 2407.08573 ER -