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 with a bottom element.