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.