1: \begin{definition}[Geometric realization of a monotone map]

2: Given a monotone map $f\:P\to Q$ between posets, it extends uniquely to

3: a map $|f|\:|P|\to|Q|$ that is affine on every convex hull of a chain.

4: In fact, $|f|$ is clearly $1$-Lipschitz on every convex hull of a chain.

5: On the other hand, $f$ lifts uniquely to a monotone map

6: $f_\sqcup\:P_\sqcup\to Q_\sqcup$.

7: Then $|f_\sqcup|$ is $1$-Lipschitz (globally), and in particular,

8: uniformly continuous.

9: Since $q\:|Q_\sqcup|\to |Q|$ is uniformly continuous, so is the

10: composite arrow in the commutative diagram

11: $$\begin{CD}

12: |P_\sqcup|@>f_\sqcup>>|Q_\sqcup|\\

13: @VpVV@VqVV\\

14: |P|@>f>>|Q|.

15: \end{CD}$$

16: By Theorem \ref{CW}(a), $p\:|P_\sqcup|\to|P|$ is a quotient map; in other words,

17: the uniformity of $|P|$ is final with respect to $p$.

18: Hence $|f|$ is uniformly continuous.

19: We call it the {\it geometric realization} of $f$.

20: 

21: It is easy to see that geometric realization of posets and of monotone maps

22: determines a functor (also called the {\it geometric realization}) from

23: the category of posets and monotone maps to the category of metrizable uniform

24: spaces and uniformly continuous maps.

25: \end{definition}