2024/07/11 by Clementino, Maria Manuel, Prezado, Rui
#06A07 #18A25 #18A30 #18B35 #18B50 #18D30 #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2407.08573
We present a characterization of effective descent morphisms in the lax comma category Ord//X when X is a locally complete ordered set, as well as in the antisymmetric setting.