English

Effective descent morphisms of filtered preorders

Category Theory 2023-12-25 v1

Abstract

We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma categories of preorders. A filtered preorder, over a fixed preorder XX, is defined as a preorder AA equipped with a profunctor XAX\to A and, equivalently, as a set AA equipped with a family (Ax)xX(A_x)_{x\in X} of upclosed subsets of AA with xxAxAxx'\leqslant x\Rightarrow A_x\subseteq A_{x'}.

Keywords

Cite

@article{arxiv.2312.14315,
  title  = {Effective descent morphisms of filtered preorders},
  author = {Maria Manuel Clementino and George Janelidze},
  journal= {arXiv preprint arXiv:2312.14315},
  year   = {2023}
}
R2 v1 2026-06-28T13:59:20.022Z