Effective descent morphisms of filtered preorders (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Effective descent morphisms of filtered preorders
Publication Date: 2023-12-21
Authors: - Maria Manuel Clementino
- George Janelidze
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 \( X \), is defined as a preorder \( A \) equipped with a profunctor \( X\to A \) and, equivalently, as a set \( A \) equipped with a family \( (A_x)_{x\in X} \) of upclosed subsets of \( A \) with \( x'\leqslant x\Rightarrow A_x\subseteq A_{x'} \).

Institution: DMUC 23-37
Online version: http://www.mat.uc.pt...prints/eng_2023.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support