Suppose I have two simplicial based topological spaces $X\_\bullet$ and $Y\_\bullet$, and the degeneracy maps of each satisfy the based homotopy extension property (but not necessarily the unbased homotopy extension property. That is, they may not be degreewise well-pointed spaces). Will a simplicial map which is a degreewise weak equivalence induce a weak equivalence on geometric realizations?



Geometric Realizations of Simplicial Based Spaces
This is going to be the same example the one from this previous question: <https://mathoverflow.net/a/171423/360>


Let $A = \Bbb N$ and $B = \{0,1,1/2,1/3,1/4,\dots\}$, with the map $f: X \to Y$ given as follows:
$$
f(n) = \begin{cases}
1/n & n > 0\\
0 & n = 0
\end{cases}
$$
Let $g: X\_\bullet \to Y\_\bullet$ be the map of simplicial sets obtained by smashing the map $A \to B$ with the simplicial circle $S^1\_\bullet$. More specifically, $Y\_n$ is an $n$-fold wedge
$$
B \vee B \vee \cdots \vee B,
$$
where degeneracies are an inclusion of all but one wedge factor, 
and similarly for $X$. On geometric realization, the map $X\_\bullet \to Y\_\bullet$ is the map from a countable wedge of circles to the Hawaiian earring and is not a weak equivalence. I claim that the degeneracies in both $X$ and $Y$ have the based homotopy extension property.


All of the degeneracies in $X$ have the homotopy extension property full stop because $A$ is well-pointed, so let's examine $Y$. All the degeneracies in $Y$ are of the form $P \to B \vee P$ for $P$ some wedge of copies of $B$ (in particular, $P$ is compact). If $g:B \vee P \to Z$ is a map of based spaces and $H: [0,1] \times P \to Z$ is a based homotopy extending it, then we can simply extend the homotopy to all of $B \vee P$ by letting it be constant on $B$. One can check that this is continuous. (Roughly, this amounts to showing that the map $(B \vee P) \times [0,1] \to B \vee (P \wedge [0,1]\_+)$ is a quotient map of spaces and the images of $B$ and $P \times [0,1]$ are closed, but this is automatic since everything in sight is compact Hausdorff.)


