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 , is defined as a preorder equipped with a profunctor and, equivalently, as a set equipped with a family of upclosed subsets of with .
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}
}