Recall that a model category \({C}\)  is said to be topological if it
is a \({K}\) -model category in the sense of Definition 4.2.18 of [1]},
for the monoidal model structure on \({K}\)  given by the above
\(h\) -model structure (observe that this coincides with the classical
Strøm model structure [2]}, [3]}, [4]} on \({K}\) ).
