Abstract

We construct the Nachbin compactification for a T3.5-ordered topological ordered space by tailing a quotient of an ordered convergence space compactification. A variation of this quotient construction leads to a compactification functor on the category of T3.5-ordered convergence ordered spaces.