If $f:X\to Y$ is a Kan fibration of simplicial sets, then its geometric realization $|f| : |X|\to |Y|$ is (in some suitable convenient category of topological spaces, like compactly generated ones) a Serre fibration, and indeed then necessarily a Hurewicz fibration since a Serre fibration between CW complexes is a Hurewicz fibration. Some references are given in this answer. However, the point of that answer is that $f$ being a Kan fibration is not a *necessary* condition for $|f|$ to be a Hurewicz fibration. In particular, since geometric realization preserves pushouts and cofibrations, and the pushout of a cospan of Hurewicz fibrations over a fixed base is again a Hurewicz fibration if one map in the cospan is a cofibration, it follows that a similar pushout of Kan fibrations involving a cofibration of simplicial sets geometrically realizes to a Hurewicz fibration. So my questions are:

- Is there an exact characterization of those maps of simplicial sets whose geometric realizations are (Serre, hence necessarily Hurewicz) fibrations?
- If that's too hard, can we at least characterize some class of such maps that's larger than the Kan fibrations, and in particular includes pushouts of Kan fibrations along cofibrations as above?

Of course there's a continuum in what counts as a "characterization", e.g. for question 2 we could just say "the closure of Kan fibrations under pushouts along cofibrations". We could also close up under sequential colimits of cofibrations, since I believe Hurewicz fibrations are also closed under those. But what I'd really like is an intrinsic description of such a class that "looks like a notion of fibration", e.g. it is given by some kind of lifting property inside simplicial sets.

3more comments