Effective descent morphisms of ordered families

Abstract

We present a characterization of effective descent morphisms in the lax comma category $\mathsf{Ord}//X$ when $X$ is a locally complete ordered set, as well as in the antisymmetric setting.

13 pages. To appear in Quaest. Math