Let $K$ be an abstract simplicial complex on the (finite) vertex set $V$. The geometric realization $|K|$ is typically defined (see Spanier's book for instance) as the collection of functions $\alpha:V \to \mathbb{R}$ so that (**a**) the support of each $\alpha$ is a simplex, and (**b**) the sum $\sum\_{v \in V}\alpha(v)$ equals $1$. Now each (closed) simplex $\sigma$ is realized as the collection of $\alpha \in K$ so that $\alpha(v) \neq 0$ implies $v \in \sigma$. From this one knows the star of each simplex.


A simplicial approximation of $f:|K| \to |L|$ is a simplicial map $g:K \to L$ so that $f(\text{star }\sigma) \subset \text{star }g(\sigma)$ for each simplex $\sigma \in K$. It is a standard result that the Piecewise Linear map induced by $g$ is homotopy equivalent to $f$


Now consider the case where $K$ is not abstract, but rather $V$ is an open cover of some topological space $X$. So, each simplex corresponds to an actual topological space, i.e., a non-empty intersection of some finite open sets in $X$. Let's call this $X\_\sigma$.


My question is this:



> 
> What is the relation between $|K|$ and $X$, more specifically between $|\sigma|$ and $X\_\sigma$ for each simplex $\sigma \in K$?
> 
> 
> 


Here is some idea of what type of answer I am hoping for:


In the case where $X$ is paracompact and $V$ is a contractible cover, the nerve theorem applies and I know that $X$ and $|K|$ are homotopy equivalent. But is there a more general relationship between these two notions of realization of which the Nerve theorem is a consequence? 


Furthermore, is there some functoriality to the nerve theorem? That is, assume you are given contractible covers $U$ and $V$ of $X$ and $Y$ generating the nerves $K$ and $L$. Given a function $f : X \to Y$ and a simplicial map $g:K \to L$, is there some magic analogoue of the star condition like $f(X\_\sigma) \subset Y\_{g(\sigma)}$ that makes $g$ induce a map homotopy equivalent to the composite $|K| \to X \to Y \to |L|$ where the maps on the edge come from the nerve theorem and the map in the middle is $f$?



Relating two notions of geometric realization
Regarding



> 
> What is the relation between $|K|$ and $X$, more specifically between $|\sigma|$ and $X\_\sigma$ for each simplex $\sigma \in K$?
> 
> 
> 


It seems to me that one can build an intermediate space $Y$ and a diagram
$$
|K| \leftarrow Y \rightarrow X
$$
which is natural in both the cover and in $X$ (where if we
have a map $X\to X'$ the covering for $X$ should be the inverse image of the covering
elements for $X'$). The space $Y$ is given by 
the realization of the nerve of the *topological poset* $\cal P$
whose elements are pairs $(U,x)$ in which
$U$ is a finite collection of intersection of open sets in the covering $V$, and
$x$ is a point of $U$.


There are then forgetful maps $Y \to |K|$ as well as $Y \to X$. 


To see this, note that $X$ can be regarded as a topological category (or poset) whose objects are points of $X$ and only identity morphisms. Then ${\cal P} \to X$ is 
just the forgetful functor and it induces the map $Y \to X$ on realization (the realization
of $X$ when considered as a topological poset is $X$ as a space). There is also a forgetful functor from ${\cal P}$ to the nerve of the covering which induces the map $Y \to |K|$.


If every non-empty finite intersection of members of $V$ is contractible, then the maps
$Y \to |K|$, $Y \to X$ are weak equivalences. 


