Prefer a chat interface with context about you and your work?
The Nachbin compactification via convergence ordered spaces
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.