Cubical approximation for directed topology. I (Q2350094)

Cubical sets and simplicial sets come naturally equipped with a directed structure. Streams are a topological models of directed spaces introducted by the author. This paper studies the geometric realizations of simplicial sets and cubical sets as streams. It is proved that the former functor preserves finite products, and that the latter functor sends monics to stream embeddings. The main results of this paper are a directed analogue of classical simplicial approximation up to subdivision and a dual cubical approximation theorem, all for stream maps having compact domain. The author also proves the equivalence of two directed homotopy relations on streams (in the case of a compact domain and a quadrangulable codomain), generalizing a result previously obtained by \textit{L. Fajstrup} [Adv. Appl. Math. 35, No. 2, 188--206 (2005; Zbl 1085.55010)].