加载中…
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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本