\section{Introduction}

\subsection*{Presentation}

The primary motivation for introducing the formalism of flows in \cite{model3} is the study of the branching areas and merging areas of execution paths in a concurrent system by using new homology theories. The idea of such homology theories dates back to \cite{Prehistoire-homology}. However, Goubault-Jensen's construction is not invariant by the refinement of observation. The more there are subdivisions in the description of the process, the more there are elements in the homology theories for the same branching or merging area. A \textit{flow} is a short name for a \textit{small topologically enriched semicategory} or \textit{small topologically enriched non-unital category}. The objects of a flow represent the \textit{states} of the concurrent process and the space of morphisms between two states is the topological space of \textit{execution paths}, the topology modelling concurrency. The reason for using $0$-dimensional identity morphisms instead of $1$-dimensional identity morphisms like in the formalism of small topologically enriched categories is to obtain functorial constructions for the \textit{branching and merging homology theories} (see \cite[Section~20]{model3}).  It is then proved in \cite[Corollary~11.3]{3eme} that the branching and merging homology theories of flows are invariant with respect to the refinement of observation \cite[Corollary~11.3]{3eme}. The latter paper therefore proves that the branching and merging homology theories of flows repair Goubault-Jensen's construction of \cite{Prehistoire-homology}. The main technical tool to study these branching and merging homology theories is the model structure introduced in \cite{model3}. It is called now the \textit{q-model structure of flows} after \cite{QHMmodel}.

Precubical sets are a standard geometric model of concurrency which is widely used in the literature \cite{MR3445318}. Every precubical set can be viewed as a flow.  However, the naive realization functor which takes a $n$-cube to the flow associated with the poset of its vertices crushes the hollow $n$-cubes for $n\geq 3$ by \cite[Theorem~7.1]{ccsprecub}. Therefore, it does not yield a well-behaved realization functor. Roughly speaking, this geometric phenomenon is due to the fact that the permutations are generated by the transpositions. By replacing the commutativity relations in the partial monoid of execution paths by homotopies thanks to the q-model structure, it is possible to define a \textit{well-behaved realization functor} from precubical sets to flows (see \cite[Definition~7.2 and Theorem~7.6]{ccsprecub}). Once again, the homotopical techniques to study this realization functor use the q-model structure of flows. The study of this well-behaved realization functor is continued in \cite{realisation}, in which the key technical tool is also the q-model structure of flows.

The q-model structure of flows makes it also possible to define and to prove the main properties of the \textit{underlying homotopy type} of a flow \cite[Section~6]{4eme}. In particular, it is proved in \cite[Theorem~9.1]{4eme} that the underlying homotopy type of a flow is invariant with respect to the refinement of the observation, which is the expected behavior. Indeed, the underlying homotopy type of a flow is, morally speaking, the underlying space of states of a flow after removing the execution paths. It is defined only up to homotopy, not up to homeomorphism. Morally speaking, a flow is a directed space over a homotopy type indeed.

The notion of fundamental category has been proved to be a relevant object for static analysis of concurrent programs \cite{MR3445318}. It turns out that the weak equivalences of the q-model structure of flows preserve the \textit{fundamental category} of a flow. The latter is defined by taking the small category associated with the semicategory whose objects are the states of the flow and the set of morphisms between two states are the path-connected components of the space of morphisms between these two states \cite[Definition~2]{MR2057412}. This notion of fundamental category is easy to calculate because it is a left adjoint functor: it is therefore colimit-preserving. The right adjoint consists of taking a small category to the associated semicategory with discrete spaces of execution paths. This property is due to the fact that $\Delta$-generated spaces are homeomorphic to the disjoint sum of their path-connected components. Moreover the notion of a fundamental category of a flow interacts very well with the simplicial structure of the q-model structure of flows~\footnote{The model structure is simplicial by \cite[Theorem~3.3.15]{realisation}}, which makes it an interesting subject of study for future papers. The fundamental category of a $d$-space in the sense of \cite{mg}, defined in a similar way \cite[Definition~2]{MR2057412}, behaves slightly differently. The fundamental category of a flow remains finite for a finite precubical set without loops. It is not the case by using the formalism of Grandis' $d$-space. In that case, it gives rise to an enormous object containing uncountably many objects and morphisms. For example, the fundamental category of the flow associated with a $1$-dimensional cube (which models the directed segment) has two objects and one nonidentity morphism. On the contrary, the fundamental category of the $d$-space associated with a $1$-dimensional cube is the poset $([0,1],\leq)$. In the latter case, it is therefore necessary to introduce various notions of component categories to shrink the fundamental category \cite{MR2057412} \cite{MR2350213}. After an example due to Dubut of a finite precubical set without loops having an infinite component category in the previous sense \cite[page~162]{DubutPhD}, another way to reduce the size of the fundamental category is even proposed in \cite{MR4071310}. The short discussion of this paragraph illustrates the main difference between the geometric model of flows and other models of the literature, e.g. \cite{mg} \cite{MR2545830}. The former is a multipointed formalism, i.e. equipped with a distinguished set of objects, like the formalism of simplicial sets, the latter are not.

All the previous examples show the theoretical importance of the q-model category of flows even if this model category does not have enough weak equivalences. Indeed, they identify less concurrent processes than we would like. It is the reason why it remains to understand the behavior of some Bousfield localizations, the left one with respect to the refinement of observation, the right one with respect to the $n$-cubes. The  q-model category of flows is right proper because all objects are fibrant. To study left Bousfield localizations in the framework of combinatorial model categories, left properness seems to be required even if a recent work enables us to get rid of this hypothesis \cite{LeftBousfield_withoutleftproperness}. The left properness of the q-model structure of flows is also used to prove the invariance with respect to the refinement of observation of the branching and merging homology theories in \cite[Theorem~11.2]{3eme}, and of the underlying homotopy type in \cite[Theorem~9.1]{4eme}. Left properness is difficult to prove in this kind of model category because pushouts, and more generally colimits of flows, can freely generate new execution paths in the colimit. The main result of this paper is a correct proof of the following theorem:

\begin{thmN} (Theorem~\ref{proof-left-proper-flow} which corrects \cite[Theorem~7.4]{2eme})
	The q-model structure of flows is left proper.
\end{thmN}

Another proof corrected in this paper is the one of the following theorem. Its statement is quite strange at first sight because, at least in the framework of $\Delta$-generated spaces ($\Delta$-Hausdorff or not), the path space functor is a right Quillen adjoint from the q-model structure of flows to the q-model structure of topological spaces:

\begin{thmN} (Theorem~\ref{complement-flow} which corrects \cite[Proposition~A.2]{3eme})
	The path space functor $\P:{\brm{Flow}}\to \top$ preserves q-cofibrancy.
\end{thmN}

In fact, the purpose of this paper is twofold. The first one is to fix the proof of \cite[Proposition~15.1]{model3} in Theorem~\ref{calculation-pathspace-flow}. It leads to a correct proof of Theorem~\ref{proof-left-proper-flow} and Theorem~\ref{complement-flow}. Section~\ref{flaw}, after explaining carefully the issue in the proof of  \cite[Proposition~15.1]{model3}, is mostly devoted to fixing the proof of some theorems of \cite{model2} which are used to prove that the homotopy categories of the q-model structures of multipointed $d$-spaces and flows are equivalent \cite[Theorem~7.5]{mdtop}. These problems have no influence on the theory of multipointed $d$-spaces and of flows as it has been developed so far. They only change the proofs of some intermediate results which remain valid anyway.

The second one is to introduce some material required for the study of the homotopy theory of \textit{Moore flows}. This paper belongs to a series of papers (the order of publication is not the order of writing). It starts with \cite{leftdetflow} and \cite{QHMmodel} which revisit the q-model structure of flows. It continues with \cite{dgrtop} which establishes some theorems about the homotopy theory of enriched diagrams of topological spaces. Then the series continues with this paper. And it is finally concluded with the two papers \cite{Moore1} \cite{Moore2}. The purpose of the pair of papers \cite{Moore1} \cite{Moore2} is to upgrade the categorical equivalence between the homotopy categories  of the q-model structures of multipointed $d$-spaces and flows to a zigzag of Quillen equivalences. Moore flows are small semicategories enriched over a semimonoidal category of enriched presheaves of spaces over a specific reparametrization category. By taking the one-object category as a reparametrization category, we recover the notion of flow of this paper. It means that most of the theorems involving only the semicategorical nature of flows can be generalized to Moore flows. It is the case for example for the Reedy constructions of this paper, and for Theorem~\ref{calculation-pathspace-flow} which is not formulated in the most general way.

I actually discovered the flaw in the proof of \cite[Proposition~15.1]{model3} and in the proof of its consequence \cite[Theorem~15.2]{model3} precisely by working on Moore flows. I wanted to prove that a q-cofibrant Moore flow has a projective q-cofibrant enriched presheaf of execution paths (it is a generalization of Theorem~\ref{complement-flow}). For this reason, I had to generalize the proof of \cite[Theorem~15.2]{model3}. I then realized that the proof of \cite[Proposition~15.1]{model3} was not correct. It led me from one thing to another to the Reedy constructions of this paper and to the statement of Theorem~\ref{calculation-pathspace-flow}.

\subsection*{Outline of the paper}
\begin{itemize}[leftmargin=*]
	\item Section~\ref{space} is a reminder about topological spaces. We want both to establish the results of this paper in the locally presentable setting of ($\Delta$-Hausdorff) $\Delta$-generated spaces (to prepare the subsequent papers) and to fix some past papers written in the framework of weakly Hausdorff $k$-spaces. It is the reason why we work in this paper in a framework containing all these situations as particular cases. We prove some important facts about relative-$T_1$ maps. The latter are a generalization of the notion of closed $T_1$-inclusion.
	\item Section~\ref{a-reedy-cat} introduces the Reedy category which is the keystone of the paper. It has both fibrant constants and cofibrant constants. Only the first property matters for this paper. It enables us to encode the calculation of all new execution paths created by a pushout along a generating q-cofibration. It is defined by generators and relations. It is proved that it is a poset.
	\item Section~\ref{calcul_final_structure-section} starts by a reminder about flows and its q-model structure. Then it is expounded in Theorem~\ref{calculation-pathspace-flow} the calculation of the path space of a flow which is obtained as a pushout along a map of flows of the form ${\mathrm{Glob}}(\partial Z) \subset {\mathrm{Glob}}(Z)$. There is no hypothesis made on the continuous map $\partial Z\to Z$ in this section. The case of a pushout along the generating cofibrations $C:\varnothing\subset \{0\}$ and $R:\{0,1\}\to \{0\}$ is not treated here because it is trivial. It will be just mentioned in the core of the proof of Theorem~\ref{proof-left-proper-flow}.
	\item Then Section~\ref{proof-leftproper-section} is entirely devoted to the proof of Theorem~\ref{proof-left-proper-flow}. The theory developed here is used, plus the fact that the homotopy colimits of a diagram of spaces in the q-model structure and in the h-model structure have the same weak homotopy type. This section is concluded by exploring in Theorem~\ref{complement-flow} the interactions between the path space functor of flows and the classes of cofibrations of the model structures we have worked with. In particular, we find a proof that the path space functor from flows to topological spaces preserves q-cofibrancy. These interactions are surprising because the path space functor of flows is a right Quillen adjoint in the locally presentable case. Note that most of the results of Section~\ref{proof-leftproper-section} are new.
	\item The precise description of the flaw in the proof of \cite[Proposition~15.1]{model3} is postponed to Section~\ref{flaw}. Then we explain why \cite[Theorem~15.2]{model3} is true anyway despite the  incorrect argument. As for the group of papers \cite{3eme} \cite{4eme} \cite{2eme} \cite{mdtop}, it is explained how not to use the same (probably~\footnote{I cannot prove that the lemma is  wrong; however, I am sure that the argument leading to it is  wrong.})  wrong lemma coming from the flaw. Finally it is explained why \cite[Theorem~V.3.4]{model2} is still true (after removing an assertion which is useless and that it is not known whether it is true) in Theorem~\ref{fix} and why \cite[Theorem~III.5.2]{model2} is still true by supplying in Theorem~\ref{existence-section} an updated proof using the tools developed in this paper.
	\item Appendix~\ref{alldg} expounds some very basic properties about the category of all diagrams over all small categories valued in a bicomplete category.
	\item Appendix~\ref{HTop} introduces a notion of separation on $\Delta$-generated spaces. This new setting is another convenient category of topological spaces for doing algebraic topology. It avoids dealing with pointless point set topology problems involving the indiscrete topology and the Sierpinski topology while preserving the local presentability of the underlying category of spaces. Indeed, all spaces are $T_1$ in this category. This appendix does not pretend to be exhaustive. It proves what is needed for the paper and nothing more.
\end{itemize}

\subsection*{Notations and terminology}

We refer to \cite{TheBook} for locally presentable categories, to \cite{MR2506258} for combinatorial model categories.  We refer to \cite{MR99h:55031} and to \cite{ref_model2} for more general model categories.

\begin{itemize}[leftmargin=*]
	\item $X:=Y$ means that $Y$ is the definition of $X$.
	\item All categories are locally small (except the category ${\mathbf{CAT}}$ of all locally small categories).
	\item ${\mathbf{Cat}}$ is the category of small categories and functors between them.
	\item ${\brm{Set}}$ is the category of sets.
	\item $\mathcal{T\!O\!P}$ is the category of general topological spaces with the continuous applications.
	\item A final quotient of $\mathcal{T\!O\!P}$ is a surjective continuous map $q:X\to Y$ such that $Y$ is equipped with the final topology.
	\item A map of $\mathcal{T\!O\!P}$ is always supposed to be continuous; otherwise the terminology \textit{set map} is used.
	\item The paper uses the French convention: compact implies Hausdorff. A topological space satisfying the finite open covering property is called quasi-compact.
	\item $\mathcal{B}$ denotes either the singleton $\mathbf{\Delta}=\{[0,1]\}$ where $[0,1]$ is the compact segment or the proper class $\mathbf{K}$ of all nonempty compact spaces.
	\item $\top_\mathcal{B}$ is the final closure of $\mathcal{B}$ in $\mathcal{T\!O\!P}$.
	\item ${\mathcal{H}\mathbf{Top}}_\mathcal{B}$ is the full subcategory of $\top_\mathcal{B}$ of $\mathcal{B}$-Hausdorff spaces.
	\item The inclusion functor $\top_\mathcal{B}\subset \mathcal{T\!O\!P}$ has a right adjoint: the $\mathcal{B}$-kelleyfication functor $k_\mathcal{B}:\mathcal{T\!O\!P}\to \top_\mathcal{B}$.
	\item The inclusion functor ${\mathcal{H}\mathbf{Top}}_\mathcal{B}\subset \top_\mathcal{B}$ has a left adjoint: the $\mathcal{B}$-Hausdorffization functor $w_\mathcal{B}:\top_\mathcal{B}\to {\mathcal{H}\mathbf{Top}}_\mathcal{B}$.
	\item The category $\top$ is one of the categories $\top_\mathcal{B}$ or ${\mathcal{H}\mathbf{Top}}_\mathcal{B}$ with $\mathcal{B}$ equal to $\mathbf{\Delta}$ or $\mathbf{K}$.
	\item $\mathcal{K}(X,Y)$ is the set of maps in a category $\mathcal{K}$ from $X$ to $Y$. $|\mathcal{K}|$ is the class of objects.
	\item A transfinite tower (of length $\lambda$) of $\mathcal{K}$ consists of a limit ordinal $\lambda$ and a colimit-preserving functor $D$ from $\lambda$ to $\mathcal{K}$; it means that for every limit ordinal $\mu\leq \lambda$, the canonical map $\varinjlim_{\nu<\mu} D_\nu\to D_\mu$ is an isomorphism.
	\item $A \sqcup B$ is the binary coproduct, $A \times B$ is the binary product.
	\item $\varprojlim$ is the limit, $\varinjlim$ is the colimit.
	\item $\varnothing$ is the initial object.
	\item $\mathbf{1}$ is the terminal object.
	\item $\id_X$ is the identity of $X$.
	\item $g.f$ is the composite of two maps $f:A\to B$ and $g:B\to C$; the composite of two functors is denoted in the same way.
	\item $\mathcal{K}^I$ is the category of functors and natural transformations from a small category $I$ to $\mathcal{K}$.
	\item If $f:{I}\to {J}$ is a functor between small categories and if $F:{I}\to\mathcal{K}$ is a functor, then $\Lan_f F$ denotes the left Kan extension of $F$ along $f$.
	\item $F\Rightarrow G$ denotes a natural transformation from a functor $F$ to a functor $G$.
	\item The composite of two natural transformations $\mu:F\Rightarrow G$ and $\nu:G\Rightarrow H$ is denoted by $\nu \odot \mu$ to make the distinction with the composition of maps.
	\item $f\boxslash g$ means that $f$ satisfies the \textit{left lifting property} (LLP) with respect to $g$, or equivalently that $g$ satisfies the \textit{right lifting property} (RLP) with respect to $f$.
	\item $\inj(\mathcal{C}) = \{g \in \mathcal{K}, \forall f \in \mathcal{C}, f\boxslash g\}$.
	\item $\cof(\mathcal{C})=\{f\mid \forall g\in \inj(\mathcal{C}), f\boxslash g\}$.
	\item $\cell(\mathcal{C})$ is the class of transfinite compositions of pushouts of elements of $\mathcal{C}$.
	\item A \textit{cellular} object $X$ of a cofibrantly generated model category is an object such that the canonical map $\varnothing\to X$ belongs to $\cell(I)$ where $I$ is the set of generating cofibrations.
	\item A \textit{model structure} $(\mathcal{C},\mathcal{W},\mathcal{F})$ means that the class of cofibrations is $\mathcal{C}$, that the class of weak equivalences is $\mathcal{W}$ and that the class of fibrations is $\mathcal{F}$ in this order. A \textit{model category} is a category equipped with a \textit{model structure}.
	\item If $\mathcal{D}:I\to\mathcal{K}$ is a diagram over a Reedy category $(I,I_+,I_-)$, the latching category at $i\in I$ is denoted by $\partial(I_+{\downarrow} i)$,  the latching object at $i\in I$ by $L_i\mathcal{D} := \varinjlim_{\partial(I_+{\downarrow} i)} \mathcal{D}$, the matching category at $i\in I$ by $\partial(i{\downarrow} I_-)$ and the matching object at $i\in I$ by $M_i\mathcal{D} = \varprojlim_{\partial(i{\downarrow} I_-)} \mathcal{D}$.
	\item $f\square g$ is the pushout product of two maps $f$ and $g$.
	\item $\pi_n(X)$ means the $n$-th homotopy group of $X$ for some base point.
	\item A cocone from a diagram $\mathcal{D}$ to an object $X$ is denoted by $\mathcal{D}\stackrel{\bullet}\to X$.
	\item The $n$-dimensional disk for $n\geq 1$ is denoted by $\mathbf{D}^n = \{(x_1,\dots,x_n)\in \mathbb{R}^n\mid x_1^2 + \dots + x_n^2 \leq 1\}$. By convention, let $\mathbf{D}^0=\{0\}$.
	\item The $(n-1)$-dimensional sphere for $n\geq 1$ is denoted by $\mathbf{S}^n = \{(x_1,\dots,x_n)\in \mathbb{R}^n\mid x_1^2 + \dots + x_n^2 = 1\}$. By convention, let $\mathbf{S}^{-1}=\varnothing$.
	\item The $n$-dimensional simplex for $n\geq 0$ is denoted by $\Delta^n = \{(x_0,\dots,x_n)\in [0,1]^{n+1}\mid x_0 + \dots + x_n = 1\}$.
	\item All h-cofibrations are by convention \textit{strong} h-cofibrations in the sense of \cite{MR1967263} \cite{Barthel-Riel}. The terminology of $\overline{h}$-cofibration and  $\overline{h}$-fibration is not used.
	\item An inclusion $i:A\to B$ is a one-to-one map such that $A$ is homeomorphic to $i(A)$ equipped with the relative topology.
	\item A space is discrete if it is equipped with the discrete topology. A space is totally disconnected if its connected components are its points.
\end{itemize}

\subsection*{Acknowledgment}

I thank the anonymous referee for the report and for the helpful remarks to improve the introduction.

\section{Topological spaces}
\label{space}

A \textit{$\mathcal{B}$-generated space} is a topological space which belongs to the final closure of $\mathcal{B}$ in $\mathcal{T\!O\!P}$. A general topological space $X$ is \textit{$\mathcal{B}$-Hausdorff} if for every continuous map $f:K\to X$ with $K\in \mathcal{B}$, the set $f(K)$ is a closed subset of $X$. The case $\mathcal{B}=\mathbf{K}$ is well-known. The case $\mathcal{B}=\mathbf{\Delta}$ is treated in Appendix~\ref{HTop}. The reason for working at this level of generality is that Section~\ref{flaw} is devoted to fixing some past proofs written in the category of weakly Hausdorff $k$-spaces. We summarize first some basic properties of $\top$~\footnote{which is one of the categories $\top_\mathcal{B}$ or ${\mathcal{H}\mathbf{Top}}_\mathcal{B}$ with $\mathcal{B}$ equal to $\mathbf{\Delta}$ or $\mathbf{K}$.} needed for this work for the convenience of the reader:
\begin{itemize}
	\item The $\mathcal{B}$-kelleyfication functor $k_\mathcal{B}:\mathcal{T\!O\!P} \to \top_\mathcal{B}$ does not change the underlying set.
	\item Let $A\subset B$ be a subset of a space $B$ of $|\top|$. Then $A$ equipped with the $\mathcal{B}$-kelleyfication of the relative topology belongs to $|\top|$. Note that for $\mathcal{B}=\mathbf{\Delta}$, a closed subset of a $\mathcal{B}$-generated space equipped with the relative topology is not necessarily $\mathcal{B}$-generated: e.g. the Cantor set $\mathbb{K}\subset [0,1]$ is not $\Delta$-generated; its $\Delta$-kelleyfication is the Cantor set equipped with the discrete topology $\mathbb{K}^\delta$. It is always the case if $\mathcal{B}=\mathbf{K}$. An open subset of a $\Delta$-generated space equipped with the relative topology is always $\Delta$-generated. This comes from the fact that any open subset of $[0,1]$ is $\Delta$-generated (see also \cite[Proposition~1.18]{delta}).
	\item $\top$ is cartesian closed. The internal hom ${\brm{TOP}}(X,Y)$ is given by taking the $\mathcal{B}$-kelleyfication of the compact-open topology on the set $\mathcal{T\!O\!P}(X,Y)$ of all continuous maps from $X$ to $Y$.
	\item The colimit in $\top$ is given by the final topology in the following situations:
	\begin{itemize}
		\item A transfinite compositions of one-to-one maps.
		\item A pushout along a closed inclusion.
		\item A quotient by a closed subset or by an equivalence relation having a closed graph.
	\end{itemize}
	In these cases, the underlying set of the colimit is therefore the colimit of the underlying sets. In particular, the CW-complexes, and more generally all cellular spaces are equipped with the final topology. Note that cellular spaces are even Hausdorff (and paracompact, normal, etc...).
	\item The category $\top$ admits a q-model structure, a h-model structure and a m-model structure. All q-cofibrations are m-cofibrations and all m-cofibrations are h-cofibrations.
\end{itemize}

\begin{rem}
	All h-cofibrations are by convention \textit{strong} h-cofibrations in the sense of \cite{MR1967263} \cite{Barthel-Riel}. The terminology of $\overline{h}$-cofibration and  $\overline{h}$-fibration is not used. It means that a h-cofibration is a closed inclusion satisfying the LLP with respect to all maps of the form ${\brm{TOP}}([0,1],Y)\to Y$.
\end{rem}

Both ${\mathcal{H}\mathbf{Top}}_{\mathbf{\Delta}}$ and $\top_{\mathbf{\Delta}}$ are locally presentable and every $\Delta$-generated space is homeomorphic to the disjoint sum of its nonempty path-connected components which are also its nonempty connected components. The latter hypothesis is used only in Theorem~\ref{rightadjointpath-flow}. The local presentability is not used in the core of the paper.

Both ${\mathcal{H}\mathbf{Top}}_\mathbf{K}$ and $\top_\mathbf{K}$ have a h-model structure by \cite[Corollary 5.23]{Barthel-Riel}: they satisfy the monomorphism hypothesis by \cite[Example~5.18]{Barthel-Riel} and they are topologically bicomplete because they are cartesian closed.

The following notion is a weakening of the notion of closed $T_1$-inclusion introduced by Dugger and Isaksen. It enables us to work with or without the separation condition (like in \cite{mdtop}).

\begin{defn} \cite[p 686]{hocolimfacile} A one-to-one continuous map $i:A\rightarrow X$ is {\rm relative-$T_1$} if for any open subset $U$ of $A$ and any point $z\in X\backslash i(U)$, there is an open set $W$ of $X$ with $i(U)\subset W$ and $z\notin W$. \end{defn}

We have:

\begin{prop}
Let $i:A\to X$ be a closed $T_1$-inclusion. Then $i$ is relative-$T_1$.
\end{prop}

\begin{proof}
Let $U$ be an open subset of $A$. Let $z\in X\backslash i(U)$. Assume that $z\in i(A)$, and write $i(U)=i(A)\cap W$ for some open subset $W$ of $X$. Then $\{z\}\cap W=(\{z\} \cap i(A)) \cap W = \{z\} \cap (i(A) \cap W)=\{z\} \cap i(U)=\varnothing$. We deduce that $z\notin W$ and $i(U)=i(A)\cap W \subset W$. Now assume that $z\notin i(A)$. Then let $W=X\backslash \{z\}$. Since $z$ is a closed point by hypothesis, $W$ is an open subset of $X$. It does not contain $z$ and $i(U)\subset i(A) \subset W$.
\end{proof}

The following proposition gives an example of a relative-$T_1$ inclusion which is neither closed nor $T_1$.

\begin{prop}
Let $X$ be a $\Delta$-generated space which is not $T_1$ (for example, an indiscrete space). Let $A$ be an open subset of $X$ equipped with the relative topology. Then $A$ is a $\Delta$-generated space and the inclusion $A\subset X$ is a relative-$T_1$ inclusion.
\end{prop}

\begin{proof}
Let $U$ be an open of $A$ and $z\in X\backslash U$. Then $W=U\cap A=U$ is an open subset of $X$ and $z\notin W$.
\end{proof}

The following proposition is a replacement of the usual one:

\begin{prop} \label{factor-tower} Every final quotient of a space of $\mathcal{B}$ is finite relative to relative-$T_1$ inclusions.
\end{prop}

\begin{proof}
Since the colimit in $\top$ of a tower of one-to-one maps is always equipped with the final topology, the proposition is a consequence of \cite[Lemma~A.3]{hocolimfacile}.
\end{proof}

There is the key fact:

\begin{prop} \label{h-cof-relative-T1} All h-cofibrations of $\top$ are relative-$T_1$. \end{prop}

\begin{proof}
Let $i:A \to X$ be a h-cofibration of $\top$. Then it is a closed inclusion. Therefore we can suppose that $A\subset X$ with $A$ equipped with the relative topology. The rest of the proof is a modification of the one of \cite[Proposition~1(b)]{vstrom3}. Consider \[E=A\times [0,1]  \cup X \times ]0,1] \subset X \times [0,1].\] Consider a commutative diagram of spaces of the form
\[
\xymatrix@C=4em@R=4em
{
	Y\times \{0\} \fd{\subset} \fr{g} & E \ar@{->}[d]^-{p} \fr{\pr_{[0,1]}}  & [0,1]\\
	Y\times [0,1] \ar@{-->}[ru]^-{\overline{G}}  \fr{G} & X .
}
\]
where $p:E\to X$ is the projection map and where $\pr_{[0,1]}$ is the projection over $[0,1]$. Then $\overline{G}(y,t)=(G(y,t),t+(1-t)\pr_{[0,1]}g(y))$ is a lift. It means that the map $p:E\to X$ is a h-fibration. Consider the commutative diagram of spaces, with $k(a)=(a,0)$:
\[
\xymatrix@C=4em@R=4em
{
	A \ar@{->}[d]_-{i} \fr{k} & E \fr{\pr_{[0,1]}} \ar@{->}[d]^-{p} & [0,1]\\
	X \ar@{=}[r] \ar@{-->}[ru]^-{f} &  X .
}
\]
Using the homotopy $H:((x,t),u)\mapsto (x,u+(1-u)t)$, we see that $p$ is a homotopy equivalence. Therefore the lift $f$ exists because, by hypothesis, the map $i:A\to X$ is a h-cofibration. Let $U$ be an open subset of $A$ and let $z\in X\backslash U$. There are two mutually exclusive cases:
\begin{enumerate}
	\item $z\in A$. We have $U=A \cap W$ for some open subset $W$ of $X$. Then $\{z\}\cap W = (\{z\}\cap A) \cap W = \{z\}\cap (A \cap W) = \{z\}\cap U = \varnothing$. Thus $z\notin W$ and $U=A \cap W\subset W$.
	\item $z\notin A$. Then $\pr_{[0,1]}(f(z)) \in ]0,1]$ because $A = (f^{-1}.\pr_{[0,1]}^{-1})(0)$. Consider the open subset $W=f^{-1}(\pr_{[0,1]}^{-1})([0,\pr_{[0,1]}(f(z))/2[)$ of $X$. Then by construction, $U\subset A = (f^{-1}.\pr_{[0,1]}^{-1})(0)\subset W$ and $z\notin W$.
\end{enumerate}
We have proved that $i:A \to X$ is relative-$T_1$.
\end{proof}

We obtain the important consequence:

\begin{cor} Every final quotient in $\top$ of a space of $\mathcal{B}$ is finite relative to h-cofibrations. \end{cor}

We conclude this section with another theorem which plays a central role in this work:

\begin{thm} (Dugger-Isaksen) \label{hocolimfacile1} Let $D:I\to \top$ be a small diagram. Then the homotopy colimits of $D$ as computed in the q-model structure of  $\top$ and in the h-model structure of  $\top$ have the same weak homotopy type. \eth

\begin{proof}[Sketch of proof] We explain the difference with the proof of \cite[Theorem~A.7]{hocolimfacile} written in the category of general topological spaces.
\begin{itemize}
	\item \cite[Lemma~A.1]{hocolimfacile} still holds in  $\top$. Indeed, if $A$ and $B$ are $\mathcal{B}$-Hausdorff, then $A\times \mathbf{D}^n$, $A\times \mathbf{S}^{n-1}$, $B\times \mathbf{D}^n$ and $B\times \mathbf{S}^{n-1}$ with the product taken in  $\top_{\mathcal{B}}$ are $\mathcal{B}$-Hausdorff since  ${\mathcal{H}\mathbf{Top}}_{\mathcal{B}}$ is a reflective subcategory of  $\top_{\mathcal{B}}$. Moreover the maps $A\times \mathbf{S}^{n-1} \subset A\times \mathbf{D}^n$ and $B\times \mathbf{S}^{n-1} \subset B\times \mathbf{D}^n$ are closed inclusions. Thus $X_A$ and $Y_B$ equipped with the final topology are $\mathcal{B}$-Hausdorff. It means that the underlying set of all spaces involved in the proof of \cite[Lemma~A.1]{hocolimfacile} are the same.
	\item \cite[Lemma~A.2]{hocolimfacile} is still valid in $\top$ without change.
	\item \cite[Lemma~A.3]{hocolimfacile} holds for any final quotient of $[0,1]$ (see Proposition~\ref{factor-tower}), so in particular for the $n$-spheres which is how it is used in \cite{hocolimfacile}.
	\item Then \cite[Proposition~A.5]{hocolimfacile} and \cite[Corollay~A.6]{hocolimfacile} follow.
	\item \cite[Theorem~A.7]{hocolimfacile} is precisely the statement of the theorem.
\end{itemize}
\end{proof}

\section{A Reedy category}
\label{a-reedy-cat}

Let $S$ be a nonempty set. Let $\mathcal{P}^{u,v}(S)$ be the small category defined by generators and relations as follows:
\begin{itemize}[leftmargin=*]
	\item $u,v\in S$ ($u$ and $v$ may be equal).
	\item The objects are the tuples of the form
	\[\underline{m}=((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))\]
	with $n\geq 1$, $u_0,\dots,u_n \in S$, $\epsilon_1,\dots,\epsilon_n \in \{0,1\}$ and \[\forall i\hbox{ such that } 1\leq i\leq n, \epsilon_i = 1\Rightarrow (u_{i-1},u_i)=(u,v).\] The integer $n$ is the \textit{length} of the tuple. The integer $\sum_i \epsilon_i$ is the \textit{height} of the tuple.
	\item There is an arrow \[c_{n+1}:(\underline{m},(x,0,y),(y,0,z),\underline{n}) \to (\underline{m},(x,0,z),\underline{n})\]
	for every tuple $\underline{m}=((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$ with $n\geq 1$ and every tuple $\underline{n}=((u'_0,\epsilon'_1,u'_1),(u'_1,\epsilon'_2,u'_2),\dots ,(u'_{n'-1},\epsilon'_{n'},u'_{n'}))$ with $n'\geq 1$. It is called a \textit{composition map}.
	\item There is an arrow \[I_{n+1}:(\underline{m},(u,0,v),\underline{n}) \to (\underline{m},(u,1,v),\underline{n})\] for every tuple $\underline{m}=((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$ with $n\geq 1$ and every tuple $\underline{n}=((u'_0,\epsilon'_1,u'_1),(u'_1,\epsilon'_2,u'_2),\dots ,(u'_{n'-1},\epsilon'_{n'},u'_{n'}))$ with $n'\geq 1$.
	It is called an \textit{inclusion map}.
	\item There are the relations (group A) $c_i.c_j = c_{j-1}.c_i$ if $i<j$ (which means since $c_i$ and $c_j$ may correspond to several maps that if $c_i$ and $c_j$ are composable, then there exist $c_{j-1}$ and $c_i$ composable satisfying the equality).
	\item There are the relations (group B) $I_i.I_j = I_j.I_i$ if $i\neq j$. By definition of these maps, $I_i$ is never composable with itself.
	\item There are the relations (group C) \[c_i.I_j = \begin{cases}
	I_{j-1}.c_i&\hbox{if } j\geq i+2\\
	I_j.c_i&\hbox{if } j\leq i-1.
	\end{cases}\]
	By definition of these maps, $c_i$ and $I_i$ are never composable as well as $c_i$ and $I_{i+1}$.
\end{itemize}

\begin{defn} Denote by $\mathcal{P}^{u,v}(S)_+$ the subcategory of $\mathcal{P}^{u,v}(S)$ generated by all objects of $\mathcal{P}^{u,v}(S)$ and by the inclusion maps. Denote by $\mathcal{P}^{u,v}(S)_-$ the subcategory of $\mathcal{P}^{u,v}(S)$ generated by all objects of $\mathcal{P}^{u,v}(S)$ and by the composition maps.
\end{defn}

\begin{prop} \label{posetmoins} The category $\mathcal{P}^{u,v}(S)_-$ is a poset.
\end{prop}

\begin{proof}
Suppose that $\mathcal{P}^{u,v}(S)_-(\underline{m},\underline{n})$ is nonempty. Then, by definition of the composition maps, there are the equalities $\underline{m}=((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$ and $\underline{n}=((u'_0,\epsilon'_1,u'_1),(u'_1,\epsilon'_2,u'_2),\dots ,(u'_{n'-1},\epsilon'_{n'},u'_{n'}))$ with $1\leq n'\leq n$ and the tuple $(u'_1,\dots,u'_{n'})$ is obtained from the tuple $(u_1,\dots,u_{n})$ by removing $u_{i_1},\dots,u_{i_p}$ with $i_1<\dots < i_p$ with $p\geq 0$. Using the presimplicial relations of group A, we see that the unique map of $\mathcal{P}^{u,v}(S)_-(\underline{m},\underline{n})$ is the composite map $c_{i_1}\dots c_{i_p}$. Because composition maps decrease the length, there is no pair of distinct isomorphic objects and the small category $\mathcal{P}^{u,v}(S)_-$ is a poset.
\end{proof}

\begin{defn} An object $\underline{n}$ of the small category $\mathcal{P}^{u,v}(S)$ is {\rm simplifiable} if the matching category $\partial(\underline{n}{\downarrow} \mathcal{P}^{u,v}(S)_-)$ is nonempty.
\end{defn}

\begin{prop} \label{final-matching}
Let $\underline{n}$ be an object of $\mathcal{P}^{u,v}(S)$. Then either $\underline{n}$ is not simplifiable (in this case, let $\mathbb{S}(\underline{n}):=\underline{n}$) or the matching category $\partial(\underline{n}{\downarrow} \mathcal{P}^{u,v}(S)_-)$ has a terminal object denoted by $\mathbb{S}(\underline{n})$ and the latter is not simplifiable.
\end{prop}

\begin{proof}
Let $\underline{n} = ((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$. A descending chain of maps $\underline{n} \to \bullet \to \bullet \to\dots$ of $\mathcal{P}^{u,v}(S)_-$ will stop eventually since the length decreases along the chain. Let $\mathbb{S}(\underline{n})$ be a target of a maximal descending chain of maps of $\mathcal{P}^{u,v}(S)_-$. Then, by definition of the composition maps, we have necessarily
\[
\mathbb{S}(\underline{n}) = ((u_{i_0},\epsilon'_1,u_{i_1}),(u_{i_1},\epsilon'_2,u_{i_2}),\dots ,(u_{i_{n'-1}},\epsilon'_{n'},u_{i_{n'}}))
\]
with $0=i_0 <i_1<\dots <i_{n'}=n$ with
\[\epsilon'_j = \begin{cases}
0 &\hbox{if } i_j - i_{j-1} > 1\\
\epsilon_{i_j} &\hbox{if } i_j - i_{j-1} = 1,
\end{cases}\]
with never two consecutive zeros in the sequence $\epsilon'_1,\dots, \epsilon'_{n'}$. Let \[\mathbb{S}'(\underline{n}) = ((u_{i'_0},\epsilon''_1,u_{i'_1}),(u_{i'_1},\epsilon''_2,u_{i'_2}),\dots ,(u_{i'_{n''-1}},\epsilon''_{n''},u_{i_{n''}}))\] be another target of a maximal descending chain of maps of $\mathcal{P}^{u,v}(S)_-$. Then $i_0=i'_0=0$. We necessarily have $\epsilon'_1=\epsilon''_1$. If $\epsilon'_1=\epsilon''_1=1$, then $i_1=i'_1=1$. If $\epsilon'_1=\epsilon''_1=0$ and e.g. $i_1<i'_1$, then $\mathbb{S}(\underline{n})$ is not a target of a maximal descending chain: contradiction. We deduce that $i_1=i'_1$. Proceeding by induction, we deduce that $\mathbb{S}(\underline{n})=\mathbb{S}'(\underline{n})$ is unique. Using Proposition~\ref{posetmoins}, the proof is complete.
\end{proof}

\begin{prop} \label{posetplus} The category $\mathcal{P}^{u,v}(S)_+$ is a poset.
\end{prop}

\begin{proof}
Suppose that $\mathcal{P}^{u,v}(S)_+(\underline{m},\underline{n})$ is nonempty. Then, by definition of the inclusion maps, there are the equalities $\underline{m}=((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$ and $\underline{n}=((u_0,\epsilon'_1,u_1),(u_1,\epsilon'_2,u_2),\dots ,(u_{n-1},\epsilon'_{n'},u_{n}))$ with $n\geq 1$ and for all $i=1,\dots,n$, there is the inequality $\epsilon_i\leq \epsilon'_i$. Using the relations of group B, we see that the unique map of $\mathcal{P}^{u,v}(S)_+(\underline{m},\underline{n})$ is the composition $\prod_{\{i\mid \epsilon_i<\epsilon'_i\}} I_i$. Because inclusion maps increase the height, there is no pair of distinct isomorphic objects and the small category $\mathcal{P}^{u,v}(S)_+$ is a poset.
\end{proof}

\begin{prop} \label{initial-latching}
Let $\underline{n}$ be an object of $\mathcal{P}^{u,v}(S)$. Then either $\partial(\mathcal{P}^{u,v}(S)_+{\downarrow}\underline{n})$ is empty (in this case, let $\mathbb{I}(\underline{n}):=\underline{n}$) or it has an initial object denoted by $\mathbb{I}(\underline{n})$.
\end{prop}

\begin{proof}
Let $\underline{n} = ((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$. Then we have necessarily
\[
\mathbb{I}(\underline{n}) = ((u_0,0,u_1),(u_1,0,u_2),\dots ,(u_{n-1},0,u_n)).
\]
The proposition is then a consequence of Proposition~\ref{posetplus}.
\end{proof}

\begin{prop} \label{reedy}
The pair $(\mathcal{P}^{u,v}(S)_+,\mathcal{P}^{u,v}(S)_-)$ endows the small category $\mathcal{P}^{u,v}(S)$ with a structure of Reedy category with the $\mathbb{N}$-valued degree map defined by \[d((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n)) = n + \sum_i \epsilon_i.\]
Moreover, in the canonical decomposition $f=f_+.f_-$ with $f_+ \in \Mor(\mathcal{P}^{u,v}(S)_+)$ and $f_-\in \Mor(\mathcal{P}^{u,v}(S)_-)$, the source of $f_+$, which is the target of $f_-$, is uniquely determined by the source and the target of $f$.
\end{prop}

The minimal value of the degree map is $1$ and it is reached for the objects $((u_0,0,u_1))$ for $(u_0,u_1)$ running over $S\times S$.

\begin{proof}
The composition maps decrease the degree by one, the inclusion maps increase the degree by one. So every map of $\mathcal{P}^{u,v}(S)_+$ increases the degree and every map of $\mathcal{P}^{u,v}(S)_-$ decreases the degree. Let
\begin{multline*}
f:((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))\\\to ((u'_0,\epsilon'_1,u'_1),(u'_1,\epsilon'_2,u'_2),\dots ,(u'_{n-1},\epsilon'_{n'},u'_{n'}))
\end{multline*}
be a map of $\mathcal{P}^{u,v}(S)$. By definition of the small category $\mathcal{P}^{u,v}(S)$, $f$ is a composite of composition maps and of inclusion maps. Using the relations of group C, we obtain a factorization  $f=f_+.f_-$ with $f_+\in \Mor(\mathcal{P}^{u,v}(S)_+)$ and $f_-\in \Mor(\mathcal{P}^{u,v}(S)_-)$. By definition of the inclusion maps, the source of $f_+$, which is the target of $f_-$, is of the form
\[
((u'_0,\epsilon''_1,u'_1),(u'_1,\epsilon''_2,u'_2),\dots ,(u'_{n-1},\epsilon''_{n'},u'_{n'}))
\]
with $\epsilon''_j\leq  \epsilon'_j$ for $1\leq j\leq n'$. And by definition of the composition maps, there is the equality $(u'_0,u'_1,\dots,u'_{n'}) = (u_{i_0},u_{i_1},\dots,u_{i_{n'}})$ where $0= i_0 < i_1<\dots < i_{n'}= n$ and with
\[\epsilon''_j = \begin{cases}
 0 &\hbox{if } i_j - i_{j-1} > 1\\
 \epsilon_{i_j} &\hbox{if } i_j - i_{j-1} = 1.
\end{cases}\]
In other terms, there is only one possibility for the source of $f_+$ which is the target of $f_-$. The proof is complete thanks to Proposition~\ref{posetmoins} and Proposition~\ref{posetplus}.
\end{proof}

\begin{cor} \label{poset}
The small category $\mathcal{P}^{u,v}(S)$ is a poset.
\end{cor}

We could directly define $\mathcal{P}^{u,v}(S)$ as a poset. The interest of having a presentation by generators and relations is that the proof of Proposition~\ref{well-defined-diag} becomes trivial. We will use this Reedy category as follows:

\begin{thm} \label{ok} Let $\mathcal{K}$ be a model category. Let $S$ be a nonempty set. Let $u,v\in S$. Let ${\mathbf{CAT}}(\mathcal{P}^{u,v}(S),\mathcal{K})$ be the category of functors and natural transformations from $\mathcal{P}^{u,v}(S)$ to $\mathcal{K}$. Then there exists a unique model structure on ${\mathbf{CAT}}(\mathcal{P}^{u,v}(S),\mathcal{K})$ such that the weak equivalences are the pointwise weak equivalences and such that a map of diagrams $f:\mathcal{D}\to \mathcal{E}$ is a cofibration (called a Reedy cofibration) if for all objects $\underline{n}$ of $\mathcal{P}^{u,v}(S)$, the canonical map $L_{\underline{n}}\mathcal{E} \sqcup_{L_{\underline{n}} \mathcal{D}} \mathcal{D}(\underline{n})\to \mathcal{E}(\underline{n})$ is a cofibration of $\mathcal{K}$. Moreover the colimit functor $\varinjlim : {\mathbf{CAT}}(\mathcal{P}^{u,v}(S),\mathcal{K}) \to \mathcal{K}$ is a left Quillen adjoint. \eth

\begin{proof} A model structure is characterized by its class of weak equivalences and its class of cofibrations. Hence the uniqueness. The existence is explained e.g. in \cite[Theorem~15.3.4]{ref_model2}. The matching category of an object is either empty or connected by Proposition~\ref{final-matching}. The last assertion is then the consequence of \cite[Proposition~15.10.2]{ref_model2} and \cite[Theorem~15.10.8]{ref_model2}.
\end{proof}

Note that the limit functor $\varprojlim : {\mathbf{CAT}}(\mathcal{P}^{u,v}(S),\mathcal{K}) \to \mathcal{K}$ is a right Quillen adjoint by Proposition~\ref{initial-latching}, \cite[Proposition~15.10.2]{ref_model2} and \cite[Theorem~15.10.8]{ref_model2}.

\section{Path space of a pushout of flows along a {q}-cofibration}
\label{calcul_final_structure-section}

\begin{defn} \cite{model3} A {\rm flow} $X$ consists of a topological space $\P X$ of execution paths, a discrete space $X^0$ of states, two continuous maps $s$ and $t$ from $\P X$ to $X^0$ called the source and target map respectively, and a continuous and associative map \[*:\{(x,y)\in \P X\times \P X; t(x)=s(y)\}\longrightarrow \P X\] such that $s(x*y)=s(x)$ and $t(x*y)=t(y)$.  A morphism of flows $f:X\longrightarrow Y$ consists of a set map $f^0:X^0\longrightarrow Y^0$ together with a continuous map $\P f:\P X\longrightarrow \P Y$ such that
\[\begin{cases}
f^0(s(x))=s(\P f(x))\\
f^0(t(x))=t(\P f(x))\\
\P f(x*y)=\P f(x)*\P f(y).
\end{cases}\]
The corresponding category is denoted by ${\brm{Flow}}$. Let \[\P_{\alpha,\beta}X = \{x\in \P X\mid s(x)=\alpha \hbox{ and } t(x)=\beta\}.\]
\end{defn}

\begin{nota}
	The map $\P f:\P X\longrightarrow \P Y$ can be denoted by $f:\P X\to \P Y$ is there is no ambiguity. The set map $f^0:X^0\longrightarrow Y^0$ can be denoted by $f:X^0\longrightarrow Y^0$ is there is no ambiguity.
\end{nota}

\begin{exa}
	Every set can be viewed as a flow with an empty space of execution paths.
\end{exa}

One another example of flow is important for the sequel:

\begin{exa}
	For a topological space $Z$, let ${\mathrm{Glob}}(Z)$ be the flow defined by
	\[
	\begin{cases}
	{\mathrm{Glob}}(Z)^0=\{0,1\}\\
	\P {\mathrm{Glob}}(Z)=\P_{0,1}{\mathrm{Glob}}(Z)=Z.
	\end{cases}
	\]
This flow has no composition law.
\end{exa}

The category ${\brm{Flow}}$ is equipped with its \textit{q-model structure}. Its existence is proved in \cite[Theorem~7.4]{QHMmodel}. The latter paper is written in $\top_{\mathbf{\Delta}}$ but this result is still valid in $\top$ since the q-model structure is obtained by right-inducing a cofibrantly generated model structure using the Quillen Path Object argument. The \textit{q-model structure} of flows is the cofibrantly generated model structure such that the generating cofibrations are the maps of the form ${\mathrm{Glob}}(\mathbf{S}^{n-1})\subset {\mathrm{Glob}}(\mathbf{D}^{n})$ for $n\geq 0$ and the maps $C:\varnothing\subset \{0\}$ and $R:\{0,1\}\to \{0\}$, such that the weak equivalences are the maps of flows $f:X\to Y$  inducing a bijection $f^0:X^0\cong Y^0$ and a weak homotopy equivalence $\P f:\P X \to \P Y$, and such that the fibrations are the maps of flows $f:X\to Y$  inducing a q-fibration $\P f:\P X \to \P Y$. This model structure is left determined \cite[Theorem~4.3]{leftdetflow}.

This section is devoted to calculating the space of execution paths of the pushout of a flow along a map of the form ${\mathrm{Glob}}(\partial Z) \subset {\mathrm{Glob}}(Z)$ where the map $\partial Z \to Z$ is any continuous map. It is not even assumed that the map $\partial Z \to Z$ is one-to-one in this section. The notations are chosen only to tell the reader how the results of this section are going to be used in the sequel.

\begin{prop} \label{final-structure-revisited-flow}
Consider a colimit cocone $(X_i)\stackrel{\bullet}\to X$ of ${\brm{Flow}}$. Let $f_i:X_i\to X$ be the canonical maps. Then the set of execution paths of $X$ is the set of finite compositions of the form $(f_1\gamma_1) * \dots * (f_n\gamma_n)$ such that $\gamma_i$ is an execution path of $X_i$ for all $1\leq i \leq n$.
\end{prop}

\begin{proof}
Every execution path $\gamma_i$ of some $X_i$ gives rise to an execution path $f_i\gamma_i$ of $X$. Every execution path of $X$ can be written as a finite composition of the form $(f_1\gamma_1) * \dots * (f_n\gamma_n)$ because of the universal property satisfied by $X$.
\end{proof}

Let $\partial Z \to Z$ be a continuous map. Consider a pushout diagram of flows
\[
\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z) \fd{} \fr{g} & A \ar@{->}[d]^-{f} \\
	{\mathrm{Glob}}(Z) \fr{\widehat{g}} & \cocartesien X.
}
\]
Let $T$ be the topological space defined by the pushout diagram of $\top$
\[
\xymatrix@C=4em@R=4em
{
	\partial Z  \fd{} \fr{g} & \P_{g(0),g(1)} A \ar@{->}[d]^-{f} \\
	Z  \fr{\widehat{g}} & \cocartesien T.
}
\]
Consider the diagram of spaces $\mathcal{D}^f:\mathcal{P}^{g(0),g(1)}(A^0)\to \top$ defined as follows:
\[
\mathcal{D}^f((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n)) = Z_{u_0,u_1}\times Z_{u_1,u_2} \times \dots \times Z_{u_{n-1},u_n}
\]
with
\[
Z_{u_{i-1},u_i}=
\begin{cases}
\P_{u_{i-1},u_i}A & \hbox{if }\epsilon_i=0\\
T & \hbox{if }\epsilon_i=1
\end{cases}
\]
In the case $\epsilon_i=1$, $(u_{i-1},u_i)=(g(0),g(1))$ by definition of $\mathcal{P}^{g(0),g(1)}(A^0)$. The inclusion maps $I_i's$ are induced by the map $f:\P_{g(0),g(1)} A \to T$. The composition maps $c_i's$ are induced by the compositions of paths of $A$.

\begin{prop} \label{well-defined-diag}
We obtain a well-defined diagram of spaces $\mathcal{D}^f:\mathcal{P}^{g(0),g(1)}(A^0)\to \top$.
\end{prop}

\begin{proof} The relations $c_ic_j=c_{j-1}c_i$ for $i+1<j$ and $I_iI_j=I_jI_i$ for $i\neq j$ and \[c_iI_j = \begin{cases}
I_{j-1}c_i&\hbox{if } j\geq i+2\\
I_jc_i&\hbox{if } j\leq i-1
\end{cases}\] are straightforward. The relations $c_i.c_{i+1}=c_{i}.c_i$ come from the associativity of the composition of paths of $A$.
\end{proof}

Let $\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0)\subset \mathcal{P}^{g(0),g(1)}(A^0)$ be the full subcategory generated by the objects \[((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))\] such that $u_0=\alpha$ and $u_n=\beta$ for $(\alpha,\beta)\in A^0\times A^0$. For $(\alpha,\beta)\in A^0\times A^0$, the inclusion functor $\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0) \subset \mathcal{P}^{g(0),g(1)}(A^0)$ induces a well-defined diagram \[\mathcal{D}_{\alpha,\beta}^f:\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0) \subset \mathcal{P}^{g(0),g(1)}(A^0)\longrightarrow \top.\]  We obtain a map in $\mathcal{D} \top$ (see Appendix~\ref{alldg})
\[
\big(\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0) \subset \mathcal{P}^{g(0),g(1)}(A^0),\id\big):\mathcal{D}_{\alpha,\beta}^f\longrightarrow \mathcal{D}^f.
\]
By the universal property of the sum, we obtain a map
\[
\bigsqcup_{(\alpha,\beta)\in A^0\times A^0} \mathcal{D}_{\alpha,\beta}^f \stackrel{\cong}\longrightarrow D^f
\]
which is an isomorphism by Proposition~\ref{plusdk} using the decomposition in ${\mathbf{Cat}}$
\[
\mathcal{P}^{g(0),g(1)}(A^0) = \bigsqcup_{(\alpha,\beta)\in A^0\times A^0} \mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0).
\]

\begin{prop} \label{composition_diagram}
For all triples $(\alpha,\beta,\gamma)\in A^0\times A^0\times A^0$, the concatenation of tuples induces a functor
$*:\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0) \times \mathcal{P}_{\beta,\gamma}^{g(0),g(1)}(A^0)\longrightarrow \mathcal{P}_{\alpha,\gamma}^{g(0),g(1)}(A^0)$.
\end{prop}

\begin{proof} The small categories $\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0)$, $\mathcal{P}_{\beta,\gamma}^{g(0),g(1)}(A^0)$ and $\mathcal{P}_{\alpha,\gamma}^{g(0),g(1)}(A^0)$ are posets by Proposition~\ref{poset}. Let $\underline{m},\underline{n}\in \mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0)$ and $\underline{m'},\underline{n'}\in \mathcal{P}_{\beta,\gamma}^{g(0),g(1)}(A^0)$ with $\underline{m}\leq \underline{n}$ and $\underline{m'}\leq \underline{n'}$. Using the relations of Group C, let
\begin{align*}
& \underline{n}=(I_{j_1}\dots I_{j_q})(c_{i_1}\dots c_{i_p})(\underline{m}), \\
& \underline{n'}=(I_{j'_1}\dots I_{j'_q})(c_{i'_1}\dots c_{i'_p})(\underline{m'}).
\end{align*}
Then there is the equality
\[
(\underline{n},\underline{n'}) = (I_{j'_1+w}\dots I_{j'_q+w})(c_{i'_1+w}\dots c_{i'_p+w})(I_{j_1}\dots I_{j_q})(c_{i_1}\dots c_{i_p})(\underline{m},\underline{m'})
\]
where $w$ is the length of $\underline{n}$. We deduce that $(\underline{m},\underline{m'})\leq (\underline{n},\underline{n'})$ in $\mathcal{P}_{\alpha,\gamma}^{g(0),g(1)}(A^0)$.
\end{proof}

We therefore obtain a map in $\mathcal{D} \top$
\[
\big(*:\mathcal{P}_{\alpha,\beta}^{g(0),g(1)}(A^0) \times \mathcal{P}_{\beta,\gamma}^{g(0),g(1)}(A^0)\longrightarrow \mathcal{P}_{\alpha,\gamma}^{g(0),g(1)}(A^0),\id\big):\mathcal{D}_{\alpha,\beta}^f \times \mathcal{D}_{\beta,\gamma}^f \longrightarrow \mathcal{D}_{\alpha,\gamma}^f
\]
for all $(\alpha,\beta,\gamma)\in A^0 \times A^0 \times A^0$. Using Proposition~\ref{cartesiandk}, we obtain a continuous map \[*:\varinjlim \mathcal{D}_{\alpha,\beta}^f \times \varinjlim \mathcal{D}_{\beta,\gamma}^f \longrightarrow \varinjlim \mathcal{D}_{\alpha,\gamma}^f.\]
Since the concatenation of tuples is associative, we obtain a well-defined flow $\overline{X}$ by setting $\overline{X}^0=A^0$, $\P_{\alpha,\beta}\overline{X} = \varinjlim \mathcal{D}_{\alpha,\beta}^f$ and with the composition law above.

\begin{thm} \label{calculation-pathspace-flow} (replacement for \cite[Proposition~15.1]{model3}) With the notations above. We obtain a commutative square of maps of flows
\[\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z) \fd{} \fr{} & A \ar@{->}[d]^-{} \\
	{\mathrm{Glob}}(Z) \fr{} &  \overline{X}
}\]
which is a pushout diagram. In particular, we obtain the homeomorphism \[\varinjlim \mathcal{D}^f \cong \P X.\]
\eth

\begin{proof}
The map ${\mathrm{Glob}}(Z)\to \overline{X}$ induced by the mapping $z\in Z\mapsto \widehat{g}(z)\in Z_{g(0),g(1)}$ is necessarily a map of flows since the globe does not contain composable execution paths. The map $A\to \overline{X}$ induced by the identities of $\P_{\alpha,\beta}A$ for all $(\alpha,\beta)\in A^0\times A^0$ is a map of flows because of the presence of the composition maps in $\mathcal{P}^{g(0),g(1)}(A^0)$. The square of maps of the statement of the theorem is commutative because of the presence of the inclusion maps in $\mathcal{P}^{g(0),g(1)}(A^0)$. Consider another commutative diagram of flows
\[
\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z) \fd{} \fr{g} & A \ar@{->}[d]^-{h} \\
	{\mathrm{Glob}}(Z) \fr{k} &  U.
}
\]
It induces the commutative diagram of topological spaces
	\[
\xymatrix@C=4em@R=4em
{
	\partial Z  \fd{} \fr{g} & \P_{g(0),g(1)} A \ar@/^20pt/@{->}[rrdd]^-{\P h}\ar@{->}[d]^-{f} \\
	Z  \fr{\widehat{g}} \ar@/_20pt/@{->}[rrrd]_-{\P k} & \cocartesien T\ar@{-->}[rrd]|-{\psi}&  \circled{A}\\
	&&& \P_{h(0),h(1)} U.
}
\]
The universal property of the pushout yields a map $\psi:T \to \P_{g(0),g(1)}U$. We obtain a composite continuous map
\begin{multline*}
\mathcal{D}^f((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))
\\ \longrightarrow \P_{u_{0},u_1}U \times \dots \times \P_{u_{n-1},u_{n}}U  \longrightarrow \P_{u_{0},u_n}U,
\end{multline*}
where the left-hand map is a product of $\psi{'s}$ and $\P h{'s}$ and where the right-hand map is the composition law of $U$. Thanks to the naturality of the composition, and thanks to the commutativity of the triangle $\circled{A}$, we obtain a cocone \[\mathcal{D}^f \stackrel{\bullet}\longrightarrow \P U\] and therefore a canonical map $\varinjlim \mathcal{D}^f \longrightarrow \P U$. It is straightforward to verify that we have obtained a well-defined map of flows from $\widehat{\psi}:\overline{X}\to U$ such that the following diagram of flows is commutative:
\[
\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z)  \fd{} \fr{g} &  A \ar@/^20pt/@{->}[rrdd]^-{h}\ar@{->}[d]^-{} \\
	{\mathrm{Glob}}(Z)  \fr{} \ar@/_20pt/@{->}[rrrd]_-{k} &  \overline{X} \ar@{-->}[rrd]|-{\widehat{\psi}}&  \\
	&&&  U.
}
\]
The uniqueness of $\widehat{\psi}:\overline{X}\to U$ is a consequence of Proposition~\ref{final-structure-revisited-flow}.
\end{proof}

\section{Left properness}
\label{proof-leftproper-section}

We recall the explicit calculation of the pushout product of several morphisms.

\begin{prop}\label{calculpushout} \cite[Theorem~B.3]{3eme}
Let $f_i:A_i\longrightarrow B_i$ for $0\leq i\leq p$ be $p+1$ morphisms
of a bicomplete cartesian closed category $\mathcal{C}$. Let $S\subset
\{0,\dots,p\}$. Let
\[C_p(S):=\left( \prod_{i\in S} B_i\right) \times \left( \prod_{i\notin S} A_i\right).\]
If $S$ and $T$ are two subsets of $\{0,\dots,p\}$ such that $S\subset
T$, let \[C_p(i_S^T):C_p(S)\longrightarrow C_p(T)\] be the morphism
\[\left(\prod_{i\in S}\id_{B_i}\right)\times \left(\prod_{i\in T\backslash S} f_i\right)\times
\left(\prod_{i\notin T} \id_{A_i}\right). \]
Then:
\begin{enumerate}
	\item the mappings $S\mapsto C_p(S)$ and $i_S^T\mapsto C_p(i_S^T)$
	give rise to a functor from the order
	complex of the poset $\{0,\dots,p\}$ to $\mathcal{C}$
	\item there exists a canonical morphism
	{
		\[\varinjlim_{S\subsetneqq \{0,\dots,p\}}
		C_p(S)\longrightarrow C_p(\{0,\dots,p\}).\]}
	and it is equal to the morphism $f_0\square\dots \square f_p$.
\end{enumerate}
\end{prop}

\begin{prop} \label{prep1}
 Let $\partial Z \to Z$ be a continuous map. Consider a pushout diagram of flows
 \[
 \xymatrix@C=4em@R=4em
 {
 	{\mathrm{Glob}}(\partial Z) \fd{} \fr{g} & A \ar@{->}[d]^-{f} \\
 	{\mathrm{Glob}}(Z) \fr{\widehat{g}} & \cocartesien X.
 }
 \]
 Let $T$ be the topological space defined by the pushout diagram of $\top$
 \[
 \xymatrix@C=4em@R=4em
 {
 	\partial Z \fd{} \fr{g} & \P_{g(0),g(1)} A \ar@{->}[d]^-{f} \\
 	Z \fr{\widehat{g}} & \cocartesien T.
 }
 \]
 Let $\mathcal{D}^f:\mathcal{P}^{g(0),g(1)}(A^0)\to \top$ be the diagram of spaces defined above:
 \begin{itemize}[leftmargin=*]
 	\item $
 	\mathcal{D}^f((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n)) = Z_{u_0,u_1}\times Z_{u_1,u_2} \times \dots \times Z_{u_{n-1},u_n}
 	$
 	with
 	\[
 	Z_{u_{i-1},u_i}=
 	\begin{cases}
 	\P_{u_{i-1},u_i}A & \hbox{if }\epsilon_i=0\\
 	T & \hbox{if }\epsilon_i=1 \hbox{ (in this case, $(u_{i-1},u_i)=(g(0),g(1))$).}
 	\end{cases}
 	\]
 	\item The composition maps $c_i's$ are induced by the compositions of paths of $A$.
 	\item The inclusion maps $I_i's$ are induced by the map $f:\P_{g(0),g(1)} A \to T$.
 \end{itemize}
Let $\underline{n}\in \Obj(\mathcal{P}^{g(0),g(1)}(A^0))$ with $\underline{n} = ((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n))$. Then the continuous map \[L_{\underline{n}} \mathcal{D}^f \longrightarrow \mathcal{D}^f(\underline{n})\] is the pushout product of the maps $\varnothing \to \P_{u_{i-1},u_i}A$ for $i$ running over $\{i\in [1,n]| \epsilon_i = 0\}$ and of the maps $\P_{g(0),g(1)} A \to T$ for $i$ running over $\{i\in [1,n]| \epsilon_i = 1\}$. Moreover, if for all $i\in [1,n]$, we have $\epsilon_i=0$, then $L_{\underline{n}} \mathcal{D}^f = \varnothing$.
\end{prop}

\begin{proof}
It is a consequence of Proposition~\ref{calculpushout}.
\end{proof}

\begin{thm} \label{onestep} Let $\partial Z \to Z$ be a continuous map. Consider a commutative diagram of flows:
\[
\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z) \fd{} \fr{g} & A \ar@{->}[d]^-{f} \fr{s} &  A' \fd{f'} \\
	{\mathrm{Glob}}(Z) \fr{\widehat{g}} & \cocartesien X \fr{\widehat{s}} & \cocartesien X'
}
\]
Suppose that the map $\partial Z \to Z$ is a q-cofibration of $\top$ and that $s$ is a weak equivalence of the q-model structure of ${\brm{Flow}}$. Then $\widehat{s}$ is a  weak equivalence of the q-model structure of ${\brm{Flow}}$.
\eth

\begin{proof}
Since $s$ is a weak equivalence of ${\brm{Flow}}$, it induces a bijection $A^0\cong A'^0$. Thus we have the bijections of sets $A^0 \cong A'^0 \cong X^0 \cong X'^0$. Consider the following commutative diagram:
\[
\xymatrix@C=4em@R=4em
{
	\partial Z  \fd{} \fr{\P g} & \P_{g(0),g(1)} A  \fr{\P s} \ar@{->}[d]^-{f} &  \P_{(sg)(0),(sg)(1)} A' \fd{f'}\\
	Z \fr{\widehat{g}} & \cocartesien T \fr{\widehat{sg}} & \cocartesien T'.
}
\]
Since the q-model structure of $\top$ is left proper, we deduce that the continuous map $\widehat{sg}:T \to T'$ is a weak homotopy equivalence. By Theorem~\ref{calculation-pathspace-flow}, there exist two diagrams $\mathcal{D}^f:\mathcal{P}^{g(0),g(1)}(A^0)\to \top$ and $\mathcal{D}^{f'}:\mathcal{P}^{g(0),g(1)}(A^0)\to \top$ and a map of diagrams $\mathcal{S}:\mathcal{D}^f\to \mathcal{D}^{f'}$ such that the map $\varinjlim \mathcal{S}:\varinjlim \mathcal{D}^{f} \to \varinjlim \mathcal{D}^{f'}$ is the map $\P\widehat{s}: \P X\to  \P X'$. Since $s$ is weak equivalence of the q-model structure of ${\brm{Flow}}$ by hypothesis, all maps \[\P s:\P_{g(\alpha),g(\beta)}  A  \to \P_{(sg)(\alpha),(sg)(\beta)}  A'\] for $(\alpha,\beta)$ running over $A^0\times A^0$ are weak homotopy equivalences. Since the binary product of two weak homotopy equivalences is a weak homotopy equivalence as well, we deduce that the map of diagrams $\mathcal{S}:\mathcal{D}^f\to \mathcal{D}^{f'}$ is a pointwise weak homotopy equivalence. By Proposition~\ref{prep1}, for all $\underline{n}\in \Obj(\mathcal{P}^{g(0),g(1)}(A^0))$, the map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ ($L_{\underline{n}}\mathcal{D}^{f'} \to \mathcal{D}^{f'}(\underline{n})$ resp.) is a pushout product of h-cofibrations of the form $\varnothing\to \P_{\alpha,\beta}A$ and of q-cofibrations of the form $f:\P_{g(0),g(1)} A\to T$ (of q-cofibrations of the form $f':\P_{(sg)(0),(sg)(1)} A\to T'$ resp.). We deduce that the diagrams $\mathcal{D}^{f}$ and $\mathcal{D}^{f'}$ are Reedy h-cofibrant, i.e. Reedy cofibrant for the Reedy model structure on the category of diagrams ${\mathbf{CAT}}(\mathcal{P}^{g(0),g(1)}(A^0),\top)$ with $\top$ equipped with the h-model structure. Thus $\varinjlim \mathcal{D}^{f}$ ($\varinjlim \mathcal{D}^{f'}$ resp.) is the homotopy colimit of $\mathcal{D}^{f}$ (of $\mathcal{D}^{f'}$ resp.) calculated in the h-model structure of $\top$ by Theorem~\ref{ok}. By Theorem~\ref{hocolimfacile1}, these homotopy colimit have the same weak homotopy types as the homotopy colimit of $\mathcal{D}^{f}$ (of $\mathcal{D}^{f'}$ resp.) calculated in the q-model structure of $\top$. We deduce using the $2$-out-of-$3$ axiom that the map $\P \widehat{s}: \P X\to  \P X'$ is a weak homotopy equivalence and that $\widehat{s}:X\to X'$ is a weak equivalence of the q-model structure of ${\brm{Flow}}$.
\end{proof}

\begin{thm} \label{pretower} Let $\partial Z \to Z$ be a continuous map. Consider a commutative diagram of flows:
\[
\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z) \fd{} \fr{g} & A \ar@{->}[d]^-{f} \\
	{\mathrm{Glob}}(Z) \fr{\widehat{g}} & \cocartesien X.
}
\]
Then we have:
\begin{enumerate}[leftmargin=*]
	\item Suppose that the map $\partial Z \to Z$ is a h-cofibration of $\top$. Then the map \[\P f:\P A \to \P X\] is a h-cofibration of topological spaces.
	\item Suppose that the map $\partial Z \to Z$ is a trivial h-cofibration of $\top$. Then the map \[\P f:\P A \to \P X\] is a trivial h-cofibration of topological spaces.
	\item Suppose that the map $\partial Z \to Z$ is a m-cofibration (a q-cofibration resp.) of $\top$ and that $\P A$ is a m-cofibrant space (a q-cofibrant space resp.). Then \[\P f:\P A \to \P X\] is a m-cofibration (a q-cofibration resp.) of topological spaces.
	\item Suppose that the map $\partial Z \to Z$ is a trivial m-cofibration (a trivial q-cofibration resp.) of $\top$ and that $\P A$ is a m-cofibrant space (a q-cofibrant space resp.). Then \[\P f:\P A \to \P X\] is a trivial m-cofibration (a trivial q-cofibration resp.) of topological spaces.
\end{enumerate}
\eth

\begin{proof}
With the notations above. The particular case $\partial Z = Z$, $f=\id_A$ and $A=X$ yields the homeomorphism \[\varinjlim \mathcal{D}^{\id_A} \cong \P A.\] We have a map of diagrams $\mathcal{D}^{\id_A} \to \mathcal{D}^{f}$ which induces for all $\underline{n}\in \Obj(\mathcal{P}^{g(0),g(1)}(A^0))$ a continuous map \[L_{\underline{n}} \mathcal{D}^f \sqcup_{L_{\underline{n}} \mathcal{D}^{\id_A}} \mathcal{D}^{\id_A}(\underline{n}) \longrightarrow \mathcal{D}^{f}(\underline{n}).\] Let \[\underline{n} = ((u_0,\epsilon_1,u_1),(u_1,\epsilon_2,u_2),\dots ,(u_{n-1},\epsilon_n,u_n)).\] There are two mutually exclusive cases:
\begin{enumerate}
	\item[(a)] All $\epsilon_i$ for $i=1,\dots n$ are equal to zero.
	\item[(b)] There exists $i\in [1,n]$ such that $\epsilon_i = 1$.
\end{enumerate}
In the case (a), we have \[\mathcal{D}^{\id_A}(\underline{n}) = \mathcal{D}^{f}(\underline{n}) = \P_{u_0,u_1}A \times \dots \times \P_{u_{n-1},u_n}A.\] Moreover, by Proposition~\ref{prep1}, we have $L_{\underline{n}} \mathcal{D}^{\id_A} = L_{\underline{n}} \mathcal{D}^f = \varnothing$. We deduce that the map \[L_{\underline{n}} \mathcal{D}^f \sqcup_{L_{\underline{n}} \mathcal{D}^{\id_A}} \mathcal{D}^{\id_A}(\underline{n}) \longrightarrow \mathcal{D}^{f}(\underline{n})\] is isomorphic to the identity of $\mathcal{D}^{\id_A}(\underline{n})$. In the case (b), The map \[L_{\underline{n}} \mathcal{D}^{\id_A} \longrightarrow \mathcal{D}^{\id_A}(\underline{n})\] is by Proposition~\ref{prep1} a pushout product of several maps such that one of them is the identity map $\id: \P _{g(0),g(1)}A \to \P _{g(0),g(1)}A$ because $\epsilon_i=1$ for some $i$. Therefore the map $L_{\underline{n}} \mathcal{D}^{\id_A} \to \mathcal{D}^{\id_A}(\underline{n})$ is an isomorphism. We deduce that the map \[L_{\underline{n}} \mathcal{D}^f \sqcup_{L_{\underline{n}} \mathcal{D}^{\id_A}} \mathcal{D}^{\id_A}(\underline{n}) \longrightarrow \mathcal{D}^{f}(\underline{n})\] is isomorphic to the map $L_{\underline{n}} \mathcal{D}^f \to \mathcal{D}^f(\underline{n})$. By Proposition~\ref{prep1}, for all objects $\underline{n}\in \Obj(\mathcal{P}^{g(0),g(1)}(A^0))$, the map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ is a pushout product of maps of the form $\varnothing\to \P _{\alpha,\beta}A$ and of the form $f:\P_{g(0),g(1)} A\to T$. We conclude that the map
\[L_{\underline{n}} \mathcal{D}^f \sqcup_{L_{\underline{n}} \mathcal{D}^{\id_A}} \mathcal{D}^{\id_A}(\underline{n}) \longrightarrow \mathcal{D}^{f}(\underline{n})\]
is for all $\underline{n}$ either an isomorphism, or a pushout product of maps of the form $\varnothing\to \P _{\alpha,\beta}A$ and of the form $f:\P_{g(0),g(1)} A\to T$, the latter appearing at least once in the pushout product and being a pushout of the map $\partial Z\subset Z$. We are now ready to complete the proof.

\textbf{Case (1)}.
The map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ is a h-cofibration of $\top$ for all $\underline{n}$. We deduce that the map of diagrams $\mathcal{D}^{\id_A} \to \mathcal{D}^{f}$ is a Reedy h-cofibration. Therefore by passing to the colimit which is a left Quillen adjoint by Theorem~\ref{ok}, we deduce that the map $\P A \to \P X$ is a h-cofibration of $\top$.

\textbf{Case (2)}.
If moreover the map $\partial Z \subset Z$ is a homotopy equivalence, then the map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ is always a trivial h-cofibration of $\top$ for all $\underline{n}$. We deduce that the map of diagrams $\mathcal{D}^{\id_A} \to \mathcal{D}^{f}$ is a trivial Reedy h-cofibration. Therefore by passing to the colimit which is a left Quillen adjoint by Theorem~\ref{ok}, we deduce that the map $\P A \to \P X$ is a trivial h-cofibration of $\top$.

\textbf{Case (3)}. Suppose now that $\P A$ is a m-cofibrant space. Then by \cite[Corollary~3.7]{mixed-cole}, the space $\P A$ is homotopy equivalent to a q-cofibrant space $U$. Each connected component of $U$ is q-cofibrant. Therefore for all $(\alpha,\beta)\in A^0\times A^0$, the topological space $\P_{\alpha,\beta} A$ is m-cofibrant. We deduce that the map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ is always a m-cofibration of $\top$ for all $\underline{n}$ because a pushout product of two m-cofibrations of spaces is a m-cofibration by \cite[Proposition~6.6]{mixed-cole}. We deduce that the map of diagrams $\mathcal{D}^{\id_A} \to \mathcal{D}^{f}$ is a Reedy m-cofibration. Therefore by passing to the colimit which is a left Quillen adjoint by Theorem~\ref{ok}, we deduce that the map $\P A \to \P X$ is a m-cofibration of $\top$. The proof is similar for the other case.

\textbf{Case (4)}. Assume moreover that the map $\partial Z\subset Z$ is a weak homotopy equivalence. then the map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ is always a trivial m-cofibration of $\top$ for all $\underline{n}$. We deduce that the map of diagrams $\mathcal{D}^{\id_A} \to \mathcal{D}^{f}$ is a trivial Reedy m-cofibration. Therefore by passing to the colimit which is a left Quillen adjoint by Theorem~\ref{ok}, we deduce that the map $\P A \to \P X$ is a trivial m-cofibration of $\top$. The proof is similar for the other case.
\end{proof}

\begin{thm}  \label{path-almost-accessible}
Let $X:\lambda \to {\brm{Flow}}$ be a transfinite tower of flows such that for all $\mu<\lambda$, the map $\P X_\mu \to \P X_{\mu+1}$ is a relative-$T_1$ inclusion. Then the canonical map \[\varinjlim (\P.X) \longrightarrow \P \varinjlim X\] is a homeomorphism. Moreover the topology of $\P \varinjlim X$ is the final topology.
\eth

\begin{proof} Let us use the notation ${\brm{Flow}}(\top_\mathcal{B})$ to specify that the underlying category is $\top_\mathcal{B}$.

1) Let $Y = \varinjlim\nolimits^{{\brm{Flow}}(\top_\mathcal{B})} X$, the colimit being taken in ${\brm{Flow}}(\top_\mathcal{B})$. The forgetful functor $\omega:\top_\mathcal{B}\to{\brm{Set}}$ induces a forgetful functor $\widehat{\omega}:{\brm{Flow}}(\top_\mathcal{B})\to{\brm{Flow}}({\brm{Set}})$~\footnote{The objects of ${\brm{Flow}}({\brm{Set}})$ are the small semicategories, or small non-unital categories.}. In particular, we have $\P\widehat{\omega}(Z) = \omega(\P Z)$ for all $Z$, $\widehat{\omega}(Z)^0=Z^0$ and the composition law of $\widehat{\omega}(Z)$ is the composition law of $Z$. The functor \[\widehat{\omega}:{\brm{Flow}}(\top_\mathcal{B})\to{\brm{Flow}}({\brm{Set}})\] has a right adjoint by equipping the set of paths with the indiscrete topology (which is a $\mathcal{B}$-generated space): since every map to an indiscrete space is continuous, the composition law is automatically continuous. Using Proposition~\ref{final-structure-revisited-flow}, we observe that the functor \[\P:{\brm{Flow}}({\brm{Set}}) \to {\brm{Set}}\] is finitely accessible.

2) We can now derive the following sequence of bijections of sets:
\begin{align*}
\omega(\P Y) &= \P (\widehat{\omega}Y) & \hbox{ by definition of $\widehat{\omega}$}\\
&\cong \P \varinjlim(\widehat{\omega}.X) & \hbox{ since $\widehat{\omega}$ is colimit-preserving}\\
&\cong  \varinjlim(\P.\widehat{\omega}.X) & \hbox{ since $\P:{\brm{Flow}}({\brm{Set}}) \to {\brm{Set}}$ is finitely accessible}\\
&\cong \varinjlim(\omega.\P.X) & \hbox{ by definition of $\widehat{\omega}$}\\
&\cong \omega\big(\varinjlim\nolimits^{\top_\mathcal{B}}(\P.X)\big) & \hbox{ since ${\omega}$ is colimit-preserving.}
\end{align*}
In other terms, the two topological spaces $\P Y$ and $\varinjlim\nolimits^{\top_\mathcal{B}}(\P.X)$ have the same underlying set. We deduce that the canonical map $\varinjlim^{\top_\mathcal{B}} (\P.X) \to \P Y$ is a continuous bijection. The left-hand space is equipped with the final topology (the symbol $\varinjlim^{\top_\mathcal{B}}$ means that the colimit is calculated in $\top_\mathcal{B}$). The composite law of $\widehat{\omega}Y$ is defined as follows. Let $x,y\in \omega \P Y$ be two composable paths. Since the colimit is directed, it is possible to find $x_i,y_i\in \omega \P X_i$ for some $i<\lambda$ composable such that the canonical map $\P X_i \to \P Y$ takes $x_i$ to $x$ and $y_i$ to $y$. Then we set $x*y$ to be the image of $x_i*y_i$ by the canonical map $\P X_i \to \P Y$. It is a standard argument to prove that this yields a well-defined associative composition law on $\omega \P Y$.

3) The next step is to prove that the above set map $\omega\P Y \times_{Y^0} \omega\P Y \to \omega\P Y$ is continuous if $\omega\P Y$ is equipped with the final topology. Let $K\in \mathcal{B}$.  Since we are working with $\mathcal{B}$-generated spaces, it suffices to prove that for any continuous map $K \to \P Y \times_{Y^0} \P Y$, the composite map $K \to \P Y \times_{Y^0} \P Y \to \P Y$ is continuous. First note that for every limit ordinal $\mu\leq \lambda$, $\P X_\mu$ is always equipped with the final topology because all maps $\P X_\mu \to \P X_{\mu+1}$ for $\mu<\lambda$ are one-to-one by hypothesis. Since all maps $\P X_\mu \to \P X_{\mu+1}$ for $\mu<\lambda$ are relative-$T_1$ by hypothesis, there exists an ordinal $\nu<\lambda$ and a commutative diagram of $\mathcal{B}$-generated spaces
\[
\xymatrix@C=4em@R=4em
{
K \fr{} \ar@{=}[d] & \P X_\nu \times_{X_\nu^0} \P X_\nu  \fr{*} \fd{} & \P X_\nu \fd{}\\
K \fr{} & \P Y \times_{Y^0} \P Y  \fr{*} & \P Y
}
\]
The top arrow $\P X_\nu \times_{X_\nu^0} \P X_\nu \to \P X_\nu$ is continuous because it is the composition law of a flow. We deduce that the bottom arrow $\P Y \times_{Y^0} \P Y  \to \P Y$ is continuous as well by equipping $\P Y$ with the final topology.

4) The flow $Y = \varinjlim\nolimits^{{\brm{Flow}}(\top_\mathcal{B})} X$ satisfies the universal property of the colimit in ${\brm{Flow}}$. The universal property of the colimit yields a map of flows $Y \to \varinjlim X$ such that the composite $Y \to \varinjlim X \to Y$ is the identity of $Y$. Thus, the canonical map $\varinjlim^{\top_\mathcal{B}} (\P.X) \to \P Y$ is a homeomorphism.
\end{proof}

\begin{thm} \label{proof-left-proper-flow}
The q-model category of flows is left proper.
\eth

\begin{figure}
	\[
\xymatrix@C=5em
{
	A_0=A \fr{s_0=s} \fd{} & A'_0=A' \fd{} \\
	\vdots \fd{} & \vdots \fd{} \\
	A_{\lambda}\fr{s_{\lambda}}\fd{}& A'_{\lambda} \fd{} \\
	A_{\lambda+1}\fr{s_{\lambda+1}}\fd{}& \cocartesien A'_{\lambda+1} \fd{}\\
	\vdots\fd{} & \vdots\fd{} \\
	\varinjlim A_{\lambda} = X \fr{\varinjlim s_{\lambda}} & \varinjlim A'_{\lambda} = X'
}
\]
\caption{}
\label{tower1}
\end{figure}

\begin{figure}
	\[
\xymatrix@C=5em
{
	\P A_0 \fr{\P  s_0} \fd{} & \P A'_0 \fd{} \\
	\vdots \fd{} & \vdots \fd{} \\
	\P A_{\lambda}\fr{\P s_{\lambda}}\fd{}& \P A'_{\lambda} \fd{} \\
	\P A_{\lambda+1}\fr{\P s_{\lambda+1}}\fd{}& \P A'_{\lambda+1} \fd{}\\
	\vdots\fd{} & \vdots\fd{} \\
	\varinjlim \P A_{\lambda} = \P X \fr{\varinjlim \P  s_{\lambda}} & \varinjlim \P  A'_{\lambda} = \P X'.
}
\]
\caption{}
\label{tower2}
\end{figure}

\begin{proof} Consider the commutative diagram
\[
\xymatrix@C=4em@R=4em
{
	U \fd{i} \fr{g} & A \ar@{->}[d]^-{f} \fr{s} &  A' \fd{f'} \\
	V \fr{\widehat{g}} & \cocartesien X \fr{\widehat{s}} & \cocartesien X'
}
\]
where $i:U\to V$ is a transfinite composition of q-cofibrations of the form
\begin{enumerate}
	\item $C:\varnothing \subset \{0\}$,
	\item $R:\{0,1\} \to \{0\}$,
	\item ${\mathrm{Glob}}(\partial Z)\to {\mathrm{Glob}}(Z)$ where the inclusion $\partial Z\subset Z$ is a q-cofibration of spaces.
\end{enumerate}
We obtain a map of transfinite towers of flows as depicted in Figure~\ref{tower1}. Each map $\P A_\lambda \to \P A_{\lambda+1}$ is a h-cofibration of $\top$, and therefore is relative-$T_1$ for the following reasons:
\begin{enumerate}
	\item if $A_\lambda \to A_{\lambda+1}$ is a pushout of $C:\varnothing \subset \{0\}$, then $\P A_\lambda = \P A_{\lambda+1}$.
	\item if $A_\lambda \to A_{\lambda+1}$ is a pushout of $R:\{0,1\} \to \{0\}$, then $\P A_{\lambda+1} \cong \P A_\lambda \sqcup W$ for some topological space $W$ (the space of execution paths freely generated by identifying two states; $W$ is empty when the map $\{0,1\}\to A_\lambda$ is constant).
	\item if $A_\lambda \to A_{\lambda+1}$ is a pushout of ${\mathrm{Glob}}(\partial Z)\to {\mathrm{Glob}}(Z)$ where the inclusion $\partial Z\subset Z$ is a q-cofibration, then $\P A_\lambda \to \P A_{\lambda+1}$ is a h-cofibration of $\top$ by Theorem~\ref{pretower}~(1).
\end{enumerate}
By Theorem~\ref{path-almost-accessible}, we obtain a map of transfinite towers of topological spaces as depicted in Figure~\ref{tower2}. Let us prove by transfinite induction on $\lambda\geq 0$ that $\P s_\lambda$ is a weak homotopy equivalence. The induction hypothesis holds for $\lambda=0$ by hypothesis. If it is proved for $\lambda\geq 0$, then it holds for $\lambda+1$
\begin{itemize}
	\item by Theorem~\ref{onestep} for a pushout of a q-cofibration of the form ${\mathrm{Glob}}(\partial Z)\to {\mathrm{Glob}}(Z)$
	\item because $\P s_\lambda=\P s_{\lambda+1}$ for a pushout of $C:\varnothing \subset \{0\}$
	\item because the binary product of two weak homotopy equivalences is a weak homotopy equivalence for a pushout of $R:\{0,1\} \to \{0\}$ (the argument is explained in the proof of \cite[Theorem~7.4]{2eme}.
\end{itemize}
If $\lambda$ is a limit ordinal, and if the induction hypothesis is proved for all $\mu<\lambda$, since all vertical maps are h-cofibrations of topological spaces by Theorem~\ref{pretower}~(1), the colimits are actually homotopy colimits for the h-model structure of $\top$, and by Theorem~\ref{hocolimfacile1} homotopy colimits for the q-model structure of $\top$. We deduce using the $2$-out-of-$3$ axiom the induction hypothesis for $\lambda$ and the induction is complete. To complete the proof, it suffices to remember that every q-cofibration of flows is a retract of a map like $i$.
\end{proof}

The section concludes with some additional information about the path space functor of flows.

\begin{thm} \label{complement-flow} Let $f:X\to Y$ be a (trivial resp.) q-cofibration between q-cofibrant flows. Then the continuous map $\P f:\P X \to \P Y$ is a (trivial resp.) q-cofibration of spaces. In particular, the path space functor $\P :{\brm{Flow}}\to \top$ preserves q-cofibrancy.
\eth

\begin{proof}
Let $X$ be a q-cofibrant flow. Then the map $\varnothing\to X$ is a retract of a transfinite composition of pushouts along the generating q-cofibrations. Using Theorem~\ref{pretower}~(3) and a transfinite induction, we deduce that $\P X$ is q-cofibrant.
\end{proof}

Theorem~\ref{complement-flow} is quite surprising because the end of the section proves that the path space functor is a right Quillen adjoint if $\mathcal{B}=\mathbf{\Delta}$.

\begin{lem}
	Let $Z$ be a general topological space. Let $\CC(Z)$ be the set of connected components of $Z$ equipped with the final topology coming from the quotient map \[p_Z:Z\longrightarrow \CC(Z).\] Then $\CC(Z)$ is totally disconnected. If $Z$ is $\Delta$-generated, then $\CC(Z)$ is discrete.
\end{lem}

\begin{proof}
Let $T\subset \CC(Z)$ be a subset containing at least two points. Then $p_Z^{-1}(T)$ is not connected. Therefore there exists a nonconstant continous map $p_Z^{-1}(T) \to \{0,1\}$ with $\{0,1\}$ equipped with the discrete topology. This map factors (uniquely) as a composite $p_Z^{-1}(T) \to T \to \{0,1\}$ since $T$ is equipped with the relative topology with respect to the final topology. We deduce that the right-hand map $T \to \{0,1\}$ is nonconstant and that $T$ is not connected. We have proved that $\CC(Z)$ is totally disconnected. Assume that $Z$ is $\Delta$-generated. Then, by \cite[Proposition~2.8]{mdtop}, $Z$ is homeomorphic to the disjoint sum of its nonempty connected components. Therefore the connected components are open. So every point of $\CC(Z)$ is open in $\CC(Z)$ because the latter is equipped with the final topology. We deduce that $\CC(Z)$ is discrete.
\end{proof}

\begin{thm} \label{rightadjointpath-flow} Assume that $\top$ is either ${\mathcal{H}\mathbf{Top}}_{\mathbf{\Delta}}$ or $\top_{\mathbf{\Delta}}$, i.e. $\mathcal{B}=\mathbf{\Delta}$. The path space functor $\P :{\brm{Flow}}\to \top$ is a right Quillen adjoint with $\top$ equipped with its q-model structure. In particular, the functor $\P :{\brm{Flow}}\to \top$ is accessible.
\eth

\begin{proof} That the path space functor $\P :{\brm{Flow}}\to \top$ takes fibrations (trivial fibrations resp.) of ${\brm{Flow}}$ to fibrations (trivial fibrations resp.) of $\top$ comes from the construction of the q-model structure of flows \cite[Theorem~7.4]{QHMmodel}. The left adjoint $\mathbf{G}:\top \to {{\brm{Flow}}}$ is defined on objects as follows:
\begin{itemize}
	\item The space of paths $\P \mathbf{G}(Z)$ is $Z$.
	\item The discrete space of states $\mathbf{G}(Z)^0$ is $\CC(Z)\times \{0,1\}$.
	\item The source map $s:Z\to \mathbf{G}(Z)^0$ is the composite map $Z\stackrel{p_Z}\to \CC(Z)\times\{0\} \subset \mathbf{G}(Z)^0$.
	\item The target map $t:Z\to \mathbf{G}(Z)^0$ is the composite map $Z\stackrel{p_Z}\to \CC(Z)\times\{1\} \subset \mathbf{G}(Z)^0$.
	\item There is no composition law.
\end{itemize}
The definition of $\mathbf{G}:\top \to {{\brm{Flow}}}$ on maps is clear. Choosing a map of flows from $\mathbf{G}(Z)$ to a flow $U$ is equivalent to choosing a continuous map from $Z$ to $\P U$ because the image of any element of $\mathbf{G}(Z)^0$ is forced. \end{proof}

\begin{thm} Assume that $\top$ is either $\top_\mathbf{K}$ or ${\mathcal{H}\mathbf{Top}}_\mathbf{K}$, i.e. $\mathcal{B}=\mathbf{K}$. The path space functor $\P :{\brm{Flow}}\to \top$ is not a right adjoint.
\eth

\begin{proof} Assume that the left adjoint $\mathbf{G}:\top\to {\brm{Flow}}$ exists. Let $Z$ be an arbitrary object of $\top$. By naturality of the maps, we have a commutative diagram of spaces
\[
\xymatrix@C=5em
{
	\{0\} \fr{\eta_{\{0\}}} \fd{} & \P(\mathbf{G}(\{0\})) = \P(\mathbf{G}(\P {\mathrm{Glob}}(\{0\}))) \fr{\P(\epsilon_{{\mathrm{Glob}}(\{0\})})}& \P{\mathrm{Glob}}(\{0\}) = \{0\} \fd{} \\
	Z \fr{\eta_Z} & \P(\mathbf{G}(Z)) = \P(\mathbf{G}(\P {\mathrm{Glob}}(Z))) \fr{\P(\epsilon_{{\mathrm{Glob}}(Z)})}& \P{\mathrm{Glob}}(Z) = Z
}
\]
for any map $\{0\}\to Z$ where $\eta:\id\Rightarrow \P.\mathbf{G}$ is the unit of the adjunction and where $\epsilon:\mathbf{G}.\P\Rightarrow \id$ is the counit of the adjunction. Thus the bottom composite map is the identity of $Z$. We obtain the homeomorphism \[Z \cong \{z\in \P(\mathbf{G}(Z)) \mid \eta_Z(\P(\epsilon_{{\mathrm{Glob}}(Z)})(z))=z\}\] because both spaces are the equalizer of the pair of maps $(\eta_Z.\P(\epsilon_{{\mathrm{Glob}}(Z)}),\id_{\P(\mathbf{G}(Z))})$. Consequently, $Z$ can be identified with a subset of $\P(\mathbf{G}(Z))$ equipped with the relative topology. From the existence of the map of flows $\epsilon_{{\mathrm{Glob}}(Z)}:\mathbf{G}(Z) \to {\mathrm{Glob}}(Z)$, we deduce that $\mathbf{G}(Z)$ has no composition law. Indeed, if $\gamma_1$ and $\gamma_2$ are two execution paths of $\mathbf{G}(Z)$, then $t(\epsilon_{{\mathrm{Glob}}(Z)}(\gamma_1))=1$ and $s(\epsilon_{{\mathrm{Glob}}(Z)}(\gamma_2))=0$, and therefore $t(\gamma_1)\neq s(\gamma_2)$. We deduce the existence of a flow $U_Z \subset \mathbf{G}(Z)$ without composition law defined as follows: $\P U_Z = Z$, $U_Z^0 = s(Z) \sqcup t(Z)$ with the source map $s\!\upharpoonright\!_Z:Z\subset \P(\mathbf{G}(Z)) \stackrel{s} \to s(Z)$ and the target map $t\!\upharpoonright\!_Z:Z\subset \P(\mathbf{G}(Z)) \stackrel{t} \to t(Z)$. Since $U_Z$ has no composition law, choosing a map of flows from $U_Z$ to some flow $U$ is equivalent to choosing a continuous map from $Z=\P U_Z$ to $\P U$. Therefore, $U_Z$ satisfies the same universal property as $\mathbf{G}(Z)$. We deduce the isomorphism $U_Z\cong \mathbf{G}(Z)$ and that the inclusion $Z \subset \P \mathbf{G}(Z)$ is an equality. We are now ready to reach the contradiction.

Let $Z=\{1/n\mid n\geq 1\}\cup \{0\}$ equipped with the relative topology induced by the one of $[0,1]$. Since $Z$ is a closed subset of $[0,1]$, it belongs to $\top_\mathbf{K}$. Since it is Hausdorff, it also belongs to ${\mathcal{H}\mathbf{Top}}_\mathbf{K}$~\footnote{Note that $Z$ does not belong to $\top_{\mathbf{\Delta}}$ (see the proof of Proposition~\ref{HLocPre})}. Consider the continuous map $s:Z = \P \mathbf{G}(Z)\to \mathbf{G}(Z)^0$. Then $s^{-1}(s(0))$ is an open subset of $Z$ because $\mathbf{G}(Z)^0$ is discrete. Therefore it contains $Z^{\geq p}=\{1/n\mid n\geq p\}\cup \{0\}$ for some $p\geq 1$. This implies that $s(Z) = s(\{1,1/2,\dots,1/p\})$ is finite. On the other hand, there are the homeomorphisms $Z =  \{1\} \sqcup Z^{\geq 2} \cong \{1\} \sqcup Z$. Since $\mathbf{G}$ is a left adjoint, we have $\mathbf{G}(Z) \cong \mathbf{G}(\{1\}) \sqcup \mathbf{G}(Z)$. A map $f$ from ${\mathrm{Glob}}(\{1\})$ to some flow $U$ is characterized by the choice of $f(1)\in \P U$ (the images of $0=s(1)$ and $1=t(1)$ are forced), which means that $\mathbf{G}(\{1\})\cong {\mathrm{Glob}}(\{1\})$. We obtain the isomorphism $\mathbf{G}(Z) \cong {\mathrm{Glob}}(\{1\})) \sqcup \mathbf{G}(Z)$. We deduce the bijection of sets $s(Z) \cong \{0\} \sqcup s(Z)$, which implies that $s(Z)$ is infinite. Contradiction.
\end{proof}

The path space functor $\P:{\brm{Flow}}\to \top$ with $\mathcal{B}=\mathbf{\Delta}$ from the q-model structure of flows to the q-model structure of topological spaces is a right Quillen adjoint which preserves q-cofibrations and trivial q-cofibrations between q-cofibrant objects. Another example of such a phenomenon has been given in MathOverflow by Simon Henry \cite{rare}: see \cite[Theorem~3.2(5)]{examplerare}.

Morally speaking, in the case $\mathcal{B}=\mathbf{K}$, the left adjoint $\mathbf{G}:\top\to {\brm{Flow}}$ exists but the functor $\mathbf{G}$ takes a space $Z$ which is not homeomorphic to the disjoint sum of its connected components to a flow outside the category ${\brm{Flow}}$. Let us formalize this fact in the last theorem of the section.

\begin{defn} A {\rm generalized flow} $X$ consists of a topological space $\P X$ of execution paths, a totally disconnected space $X^0$ of states, two continuous maps $s$ and $t$ from $\P X$ to $X^0$ called the source and target map respectively, and a continuous and associative map \[*:\{(x,y)\in \P X\times \P X; t(x)=s(y)\}\longrightarrow \P X\] such that $s(x*y)=s(x)$ and $t(x*y)=t(y)$.  A morphism of generalized flows $f:X\longrightarrow Y$ consists of a continuous map $f^0:X^0\longrightarrow Y^0$ together with a continuous map $\P f:\P X\longrightarrow \P Y$ such that $f(s(x))=s(f(x))$, $f(t(x))=t(f(x))$ and $f(x*y)=f(x)*f(y)$. The corresponding category is denoted by $\overline{{\brm{Flow}}}$. Let $\P_{\alpha,\beta}X = \{x\in \P X\mid s(x)=\alpha \hbox{ and } t(x)=\beta\}$.
\end{defn}

\begin{thm} The path space functor $\P:\overline{{\brm{Flow}}} \to \top$ is a right adjoint with $\mathcal{B}=\mathbf{\Delta}$ and with $\mathcal{B}=\mathbf{K}$. \eth

\begin{proof}
The left adjoint $\mathbf{G}:\top \to \overline{{\brm{Flow}}}$ is a kind of generalized globe. It is defined on objects as follows:
\begin{itemize}
	\item The space of paths $\P \mathbf{G}(Z)$ is $Z$.
	\item The totally disconnected space of states $\mathbf{G}(Z)^0$ is $\CC(Z)\times \{0,1\}$.
	\item The source map $s:Z\to \mathbf{G}(Z)^0$ is the composite map $Z\stackrel{p_Z}\to \CC(Z)\times\{0\} \subset \mathbf{G}(Z)^0$.
	\item The target map $t:Z\to \mathbf{G}(Z)^0$ is the composite map $Z\stackrel{p_Z}\to \CC(Z)\times\{1\} \subset \mathbf{G}(Z)^0$.
	\item There is no composition law.
\end{itemize}
The rest of the proof is similar to the proof of Theorem~\ref{rightadjointpath-flow}.
\end{proof}

\section{Erratum}
\label{flaw}

This section concludes the paper by carefully describing the flaw in the proof of \cite[Proposition~15.1]{model3} and by fixing some proofs published in past papers. The section starts by a short reminder about multipointed $d$-spaces.

\subsection*{Multipointed $d$-space}

\begin{defn} \label{multid} A {\rm multipointed space} is a pair $(|X|,X^0)$ where
\begin{itemize}
	\item $|X|$ is a topological space called the {\rm underlying space} of $X$.
	\item $X^0$ is a subset of $|X|$ called the {\rm set of states} of $X$.
\end{itemize}
A morphism of multipointed spaces $f:X=(|X|,X^0) \rightarrow Y=(|Y|,Y^0)$ is a commutative square
\[
\xymatrix{
	X^0 \fr{f^0}\fd{} & Y^0 \fd{} \\
	|X| \fr{|f|} & |Y|.}
\]
The corresponding category is denoted by ${\brm{MSpc}}$.  \end{defn}

We have the well-known proposition:

\begin{prop} (The Moore composition) Let $U$ be a topological space. Let $\ell_1,\dots,\ell_n\in ]0,+\infty[$ be real numbers. Let $\gamma_i:[0,\ell_i]\to U$ be $n$ continuous maps with $1\leq i \leq n$. Suppose that $\gamma_i(\ell_{i})=\gamma_{i+1}(0)$ for $1\leq i < n$ (there is nothing to verify for $n=1$). Then there exists a unique continuous map $\gamma_1*\dots *\gamma_n:[0,\sum_i\ell_i]\to U$ such that
\[
(\gamma_1*\dots *\gamma_n)(t) = \gamma_i\big(t-\sum_{j<i}\ell_i\big) \hbox{ for }\sum_{j<i} \ell_i\leq t \leq \sum_{j\leq i} \ell_i.
\]
In particular, there is the strict equality $(\gamma_1* \gamma_2)* \gamma_3=\gamma_1*(\gamma_2* \gamma_3)$.
\end{prop}

\begin{nota}
	Let $\mu_{\ell}:[0,\ell]\to [0,1]$ be the homeomorphism defined by $\mu_\ell(t) = t/\ell$.
\end{nota}

\begin{defn} \label{composition_map} The map $\gamma_1*\gamma_2$ is called the {\rm (Moore) composition} of $\gamma_1$ and $\gamma_2$.  The composite
\[\xymatrix@C=4em{\gamma_1 *_N \gamma_2: [0,1] \fr{(\mu_2)^{-1}}& [0,2]
	\fr{\gamma_1*\gamma_2}& U}\]
is called the {\rm (normalized) composition}. The normalized composition being not associative, a notation like $\gamma_1 *_N \dots *_N \gamma_n$ will mean, by convention, that $*_N$ is applied from the left to the right.
\end{defn}

\begin{defn} \cite{mdtop} A {\rm multipointed $d$-space $X$} is a triple
$(|X|,X^0,\P^{\mathcal{G}}X)$ where
\begin{itemize}[leftmargin=*]
	\item The pair $(|X|,X^0)$ is a multipointed space.
	\item The set $\P^{\mathcal{G}}X$ is a set of continous maps from $[0,1]$ to $|X|$ called the {\rm execution paths}, satisfying the following axioms:
	\begin{itemize}
		\item For any execution path $\gamma$, one has $\gamma(0),\gamma(1)\in X^0$.
		\item Let $\gamma$ be an execution path of $X$. Then any composite $\gamma.\phi$ with $\phi\in \mathcal{G}$ is an execution path of $X$ where $\mathcal{G}$ is the group of nondecreasing homeomorphisms from $[0,1]$ to itself.
		\item Let $\gamma_1$ and $\gamma_2$ be two composable execution paths of $X$; then the normalized composition $\gamma_1 *_N \gamma_2$ is an execution path of $X$.
	\end{itemize}
\end{itemize}
A map $f:X\to Y$ of multipointed $d$-spaces is a map of multipointed spaces $|f|$ from $(|X|,X^0)$ to $(|Y|,Y^0)$ such that for any execution path $\gamma$ of $X$, the composite map $\P^{\mathcal{G}}(\gamma) := |f|\gamma$ is an execution path of $Y$.  The category of multipointed $d$-spaces is denoted by $\ptop{\mathcal{G}}$. The subset of execution paths from $\alpha$ to $\beta$ is the set of $\gamma\in\P^{\mathcal{G}} X$  such that $\gamma(0)=\alpha$ and $\gamma(1)=\beta$; it is denoted by $\P^{\mathcal{G}}_{\alpha,\beta} X$. It is equipped with the $\mathcal{B}$-kelleyfication of the initial topology making the inclusion $\P^{\mathcal{G}}_{\alpha,\beta} X\subset {\brm{TOP}}([0,1],|X|)$ continuous. Let \[\P^{\mathcal{G}}X := \bigsqcup_{(\alpha,\beta) \in X^0\times X^0} \P^{\mathcal{G}}_{\alpha,\beta} X.\] \end{defn}

By definition, the topological space $\P^{\mathcal{G}}X$ is homeomorphic to the disjoint union of the topological spaces $\P^{\mathcal{G}}_{\alpha,\beta} X$ for $(\alpha,\beta)$ running over $X^0\times X^0$.

The following examples play an important role in the sequel.
\begin{enumerate}[leftmargin=*]
	\item Any set $E$ will be identified with the multipointed $d$-space $(E,E,\varnothing)$.
	\item The \textit{topological globe of $Z$}, which is denoted by ${\mathrm{Glob}}^{\mathcal{G}}(Z)$, is the multipointed $d$-space defined as follows
	\begin{itemize}
		\item the underlying topological space is the quotient space \[\frac{\{0,1\}\sqcup (Z\times[0,1])}{(z,0)=(z',0)=0,(z,1)=(z',1)=1}\]
		\item the set of states is $\{0,1\}$
		\item the set of execution paths is the set of continuous maps \[\{\delta_z\phi\mid \phi\in \mathcal{G},z\in  Z\}\]
		with $\delta_z(t) = (z,t)$.
	\end{itemize}
	In particular, ${\mathrm{Glob}}^{\mathcal{G}}(\varnothing)$ is the multipointed $d$-space $\{0,1\} = (\{0,1\},\{0,1\},\varnothing)$.
\end{enumerate}

The \textit{q-model structure} of $\ptop{\mathcal{G}}$, constructed in \cite[Theorem~6.14]{QHMmodel} (the latter paper is written in $\top_{\mathbf{\Delta}}$ but this result is still valid in $\top$ since the q-model structure is obtained by right-inducing a cofibrantly generated model structure using the Quillen Path Object argument), is the cofibrantly generated model structure such that the generating cofibrations are the maps of the form ${\mathrm{Glob}^{\mathcal{G}}}(\mathbf{S}^{n-1})\subset {\mathrm{Glob}^{\mathcal{G}}}(\mathbf{D}^{n})$ for $n\geq 0$ and the maps $C:\varnothing\subset \{0\}$ and $R:\{0,1\}\to \{0\}$, such that the weak equivalences are the maps of multipointed $d$-spaces $f:X\to Y$  inducing a bijection $f^0:X^0\cong Y^0$ and a weak homotopy equivalence $\P^{\mathcal{G}}f:\P^{\mathcal{G}}X \to \P^{\mathcal{G}}Y$, and such that the fibrations are the maps of multipointed $d$-spaces $f:X\to Y$  inducing a q-fibration $\P^{\mathcal{G}}f:\P^{\mathcal{G}}X \to \P^{\mathcal{G}}Y$. This model structure is also left determined by a proof similar to the proof of \cite[Theorem~4.3]{leftdetflow}.

\subsection*{Description of the flaw}

The diagram used in \cite[Proposition~15.1]{model3} to calculate $\P X$ in the pushout diagram of flows
\[
\xymatrix@C=4em@R=4em
{
	{\mathrm{Glob}}(\partial Z) \fd{} \fr{g} & A \ar@{->}[d]^-{f} \\
	{\mathrm{Glob}}(Z) \fr{\widehat{g}} & \cocartesien X
}
\]
is a subdiagram $\mathcal{D}'^f$ of $\mathcal{D}^f$ which is not cofinal in $\mathcal{D}^f$. With the terminology of the proof of Theorem~\ref{calculation-pathspace-flow}, $\mathcal{D}'^f$ is the subdiagram of $\mathcal{D}^f$ obtained by keeping in $\mathcal{P}^{g(0),g(1)}(A^0)$ the non-simplifiable objects, and the objects $\underline{m}$ of $\mathcal{P}^{g(0),g(1)}(A^0)$ such that there is one inclusion map $\underline{m}\to \underline{n}$ (and not a composite of inclusion maps) towards a non-simplifiable object $\underline{n}$. The inclusion functor, let us denote it by $\iota$, is not cofinal. The comma category $\underline{n}{\downarrow} \iota$ is always nonempty because all non-simplifiable objects belong to this subcategory of $\mathcal{P}^{g(0),g(1)}(A^0)$ but it can be verified that it is not necessarily connected. Moreover neither $\mathcal{D}'^f$ nor  $\mathcal{D}^f$ can have a cofinal subdiagram like the one depicted in \cite[p 590]{model3}. It is possible to find counterexamples indeed. Therefore the map $\P A\to \P X$ is not equal to a transfinite composition of the kind depicted in \cite[p 590]{model3}. At least, it is not possible to prove such a fact with this method. This  incorrect argument propagated in the papers \cite{model2} \cite{3eme}, \cite{4eme}, \cite{2eme}  and \cite{mdtop}. The rest of Section~\ref{flaw} is devoted to correcting this problem.

\subsection*{Erratum for \cite{model3}}

\cite[Proposition~15.1]{model3} is only used for the proof of \cite[Theorem~15.2]{model3}. The latter remains true anyway: it is even possible to conclude that the map $\P A \to \P X$ is a homotopy equivalence, and not only a weak homotopy equivalence, thanks to Theorem~\ref{pretower}(2). Note that the q-model structure of flows constructed in \cite{model3} can be more easily recovered by using Isaev's work \cite[Theorem~3.11]{leftdetflow} or by using the theory of bifibrations \cite[Theorem~7.4]{QHMmodel}.

\subsection*{Erratum for \cite{3eme}, \cite{4eme}, \cite{2eme} and \cite{mdtop}}

I do not know whether Proposition~A.1 of \cite{3eme}~\footnote{cited in \cite[Proposition~A.1]{4eme}, \cite[Proposition~7.1]{2eme} and \cite[Proposition~A.2]{mdtop}.} is true. This proposition is used to prove the left properness of the q-model category of flows and to prove that the path space functor $\P :{\brm{Flow}}\to \top$ preserves q-cofibrancy. All these facts are correctly proved in Section~\ref{proof-leftproper-section}.

\subsection*{Erratum for \cite{model2}}

Not only do I not know whether the continuous map $\pi_n(\P A)\to \pi_n(\P X)$ of \cite[Theorem~V.3.4]{model2} is onto, but also this assertion is useless. The correct statement is:

\begin{thm} \label{fix} (replacement for \cite[Theorem~V.3.4]{model2})
Let $i:\partial Z \to Z$ be a q-cofibration of $\top$ inducing an isomorphism $\pi_k(\partial Z) \cong \pi_k(Z)$ for all $k<n$ and for all base points. Consider a pushout diagram of flows
\[
\xymatrix@C=4em@R=4em{
	{\mathrm{Glob}}(\partial Z) \fr{g}\fd{} & A \fd{f} \\
	{\mathrm{Glob}}(Z) \fr{} & \cocartesien X }
\]
with $A$ a q-cofibrant flow. Then the continuous map $\P f:{\P}A\longrightarrow {\P} X$ induces an isomorphism $\pi_k(\P A) \cong \pi_k(\P X)$ for all $k<n$ and for all base points.
\eth

\begin{proof} We consider the homotopical localization $\mathbf{L}_{\mathbf{S}^{n} \subset \mathbf{D}^{n+1}}\top$ of the q-model structure of $\top$ by the q-cofibration $\mathbf{S}^{n} \subset \mathbf{D}^{n+1}$. By \cite[Proposition~1.5.2]{ref_model2}, the map $i:\partial Z\to Z$ is a trivial cofibration of this homotopical localization. By Theorem~\ref{complement-flow}, the topological space $\P A$ is q-cofibrant. With the notations of the proof of Theorem~\ref{pretower}(4), we obtain that the map $L_{\underline{n}}\mathcal{D}^f \to \mathcal{D}^f(\underline{n})$ is always a trivial cofibration of $\mathbf{L}_{\mathbf{S}^{n} \subset \mathbf{D}^{n+1}}\top$ for all $\underline{n}$. It means that the map of diagrams $\mathcal{D}^{\id_A}\to \mathcal{D}^f$ is a trivial Reedy cofibration of \[{\mathbf{CAT}}(\mathcal{P}^{g(0),g(1)}(A^0),\mathbf{L}_{\mathbf{S}^{n} \subset \mathbf{D}^{n+1}}\top).\] Therefore by passing to the colimit which is a left Quillen adjoint by Theorem~\ref{ok}, we deduce that the map $\P A \to \P X$ is a trivial cofibration of $\mathbf{L}_{\mathbf{S}^{n} \subset \mathbf{D}^{n+1}}\top$. The proof is complete using \cite[Proposition~1.5.4]{ref_model2}.
\end{proof}

Theorem~\ref{fix} is sufficient to prove \cite[Theorem~V.3.5]{model2} (it is its only use) by using the q-cofibration $\mathbf{S}^n \subset \mathbf{D}^{n+1}$ to force $\pi_n({\P} U_n)\longrightarrow \pi_n({\P} X)$ to become one-to-one, and the q-cofibration $\{0\} \subset \mathbf{S}^{n+1}$, which is a pushout of the preceding one, to force $\pi_{n+1}({\P} U_n,\gamma)\longrightarrow \pi_{n+1}({\P} X,\gamma)$ to become onto\footnote{A better terminology would be to use the term CW-cofibrant instead of strongly cofibrant; the proof of \cite[Theorem~V.3.5]{model2} mimicks the usual proof to build a CW-approximation.}.

Finally, the proof of \cite[Theorem~III.5.2]{model2} is not complete either. Let us start by recalling \cite[Proposition~III.5.1]{model2} (the compactness hypothesis on $U$ is removed; it is assumed in \cite{model2} but it is useless; only the compactness of the segment $[0,1]$ matters):

\begin{prop} \label{rewording}
Let $X$ be a cellular object of the q-model category of multipointed $d$-spaces~\footnote{Such an object is called a globular complex in \cite{model2}; I introduced the notion of multipointed $d$-space only 4 years later.} Let $\P X$ be the quotient of $\P^{\mathcal{G}}X$ by the action of $\mathcal{G}$. Let $p_X:\P^{\mathcal{G}}X\to \P X$ be the canonical map. Let $U$ be an object of $\top$. Let $f,g:U\to \P^{\mathcal{G}}X$ be two continuous maps such that $p_X.f=p_X.g$. Then there exists a unique map $\phi:U\to \mathcal{G}$ such that $f(u)=g(u).\phi(u)$ for all $u\in U$. Moreover, $\phi$ is necessarily continuous.
\end{prop}

Proposition~\ref{rewording} holds in $\top$ because we entirely work in this proof in the underlying space of $X$ which is a Hausdorff $\Delta$-generated space and because, in all cases, $\P X$ is the quotient of the underlying set of $\P^{\mathcal{G}}X$ by the action of $\mathcal{G}$ equipped with the final topology since the action of $\mathcal{G}$ is continuous.

\begin{thm} \label{existence-section} (replacement for \cite[Theorem~III.5.2]{model2}) Let $X$ be a cellular object of the q-model category of multipointed $d$-spaces. Then the canonical map $p_X:\P^{\mathcal{G}}X\to \P X$ has a section $i_X:\P X\to \P^{\mathcal{G}}X$. \eth

The proof works in $\top$. The only thing that matters is that the underlying set of $\P X$ is the quotient of the underlying set of $\P^{\mathcal{G}}X$ by the action of $\mathcal{G}$. And in all cases, the topology of $\P X$ is the final topology since the action of $\mathcal{G}$ is continuous.

The proof uses the fix of \cite[Proposition~15.1]{model3} expounded in Theorem~\ref{calculation-pathspace-flow}. A subsequent paper will use the theory of Moore flows to give a more conceptual proof of this theorem independent from \cite{model2}.

\begin{proof}
The idea is still to build $i_X:\P X \to \P^{\mathcal{G}}X$ by transfinite induction on the cellular decomposition of $X$.  Suppose that we have the pushout diagram of flows
\[
\xymatrix@C=4em@R=4em{
	{\mathrm{Glob}}(\partial Z) \fr{g}\fd{} & A \fd{f} \\
	{\mathrm{Glob}}(Z) \fr{} & \cocartesien X }
\]
such that the map $\partial Z\to Z$ is a generating q-cofibration. Suppose that we have proved the existence of $i_A:\P A \to \P^{\mathcal{G}}X$. We are going to build $i_X:\P X\to \P^{\mathcal{G}}X$ by building a cocone \[\xi:(\mathcal{D}^f\stackrel{\bullet} \longrightarrow \P^{\mathcal{G}}X).\] The proof will be complete thanks to Theorem~\ref{path-almost-accessible}.

Consider the topological space $T$ defined by the pushout diagram of topological spaces
\[
\xymatrix@C=4em@R=4em{
	\partial Z \fr{g}\fd{} & \P_{g(0),g(1)}A \fd{f} \\
	Z \fr{} & \cocartesien T. }
\]
There exists a continuous map $h:Z\to [0,1]$ such that $h^{-1}(0)=\partial Z$. By the universal property of the pushout, it is extended to a continuous map $h:T \to [0,1]$ such that $h^{-1}(0)= \P_{g(0),g(1)}A$.

Let us introduce an equivalence relation on the objects of $\mathcal{P}^{g(0),g(1)}(A^0)$ as follows:
	\[\underline{m}\simeq \underline{n}\hbox{ if and only if }\mathbb{S}(\underline{m}) = \mathbb{S}(\underline{n}).\]
We obtain a partition of the set of objects of $\mathcal{P}^{g(0),g(1)}(A^0)$ by this equivalence relation. Once the map $\xi_{\underline{n}}:  \mathcal{D}^f(\underline{n}) \to \P^{\mathcal{G}}X$ is constructed for a given non simplifiable object $\underline{n}$, the definition of $\xi_{\underline{m}}:  \mathcal{D}^f(\underline{m}) \to \P^{\mathcal{G}}X$ is forced on any $\underline{m}$ such that $\underline{m} \simeq \underline{n}$.

We are going to build the maps $\xi_{\underline{n}}:  \mathcal{D}^f(\underline{n}) \to \P^{\mathcal{G}}X$ by proceeding by induction on the height of the non-simplifiable object $\underline{n}$. There is nothing to do for the height $0$: the non-simplifiable objects of height $0$ are all tuples $((\alpha,0,\beta))$ for $\alpha$ and $\beta$ running over $A^0$.

Let us expound the induction on a particular case: it is always the same method. Let $u=g(0)$ and $v=g(1)$. We suppose that the map $\xi_{\underline{p}}:\mathcal{D}^f(\underline{p}) \longrightarrow  \P^{\mathcal{G}}X$ is already constructed on all non simplifiable $\underline{p}$ of height at most $1$, and on all objects belonging to the same equivalence classes, and that the diagram
\[
\xymatrix@C=4em@R=4em
{ \mathcal{D}^f(\underline{p}) \ar@{->}[d] \ar@{->}[r] & \ar@{->}[d] \mathcal{D}^f(\underline{q}) \\
\P^{\mathcal{G}}X \ar@{=}[r]	& \P^{\mathcal{G}}X
}
\]
is commutative for all maps $\underline{p}\to \underline{q}$ such that the vertical maps are already constructed. We want to construct, for example, the map
\[
\xi_{((u,1,v),(v,0,u),(u,1,v))}:T\times \P_{v,u}A\times T = \mathcal{D}^f((u,1,v),(v,0,u),(u,1,v)) \longrightarrow \P^{\mathcal{G}}X.
\]
We consider the commutative diagram of topological spaces
\[
\xymatrix@C=9em@R=4em
{
L_{((u,1,v),(v,0,u),(u,1,v))}\mathcal{D}^f \fd{} \fr{L_{((u,1,v),(v,0,u),(u,1,v))}\xi} &  \P^{\mathcal{G}}X \fd{p_X}\\
T \times \P_{v,u}A \times T  \fr{k} \ar@{-->}[ru]^-{} & \P X.
}
\]
The top arrow $L_{((u,1,v),(v,0,u),(u,1,v))}\xi$ is constructed by induction hypothesis. The bottom arrow $k$ is induced by the normalized composition law $*_N$ of the multipointed $d$-space $X$. By induction hypothesis, there is a map $\xi_{((u,1,v))}:T \to \P^{\mathcal{G}}X$ and a continuous map $\xi_{((v,0,u))}:\P_{v,u}A \to \P^{\mathcal{G}}X$. Consider the map $\mathcal{L}:T \times \P_{v,u}A \times T \to \P^{\mathcal{G}}X$ defined by~\footnote{The choice $1/3,1/3,1/3$ is not important, the proof works by choosing any $\ell_1,\ell_2,\ell_3>0$ such that $\ell_1+\ell_2+\ell_3=1$.} \[\mathcal{L}(z_1,\gamma,z_2) = \big[\big(\xi_{((u,1,v))}(\delta_{z_1})\big)\mu_{1/3}\big] * \big[\big(\xi_{((v,0,u))}(\gamma)\big)\mu_{1/3}\big] * \big[\big(\xi_{((u,1,v))}(\delta_{z_2})\big)\mu_{1/3}\big].\] By construction, we have $p_X\mathcal{L} = k$. However, there is no reason for the top triangle to be commutative as well. If $z_1\in \partial Z$ or $z_2\in \partial Z$, then the execution paths $\mathcal{L}(z_1,\gamma,z_2)$ and $(L_{((u,1,v),(v,0,u),(u,1,v))}\xi)(z_1,\gamma,z_2)$ have the same image $z_1*\gamma*z_2$ by $p_X:\P^{\mathcal{G}}X\to \P X$. By Proposition~\ref{rewording} applied to $U=L_{((u,1,v),(v,0,u),(u,1,v))}\mathcal{D}^f$, there exists a (unique) continuous map \[\phi:L_{((u,1,v),(v,0,u),(u,1,v))}\mathcal{D}^f \to \mathcal{G}\] such that \[\mathcal{L}(z_1,\gamma,z_2)\phi(z_1,\gamma,z_2) = \big(L_{((u,1,v),(v,0,u),(u,1,v))}\xi\big)(z_1,\gamma,z_2).\] Then we set
\begin{multline*}
\xi_{((u,1,v),(v,0,u),(u,1,v))}(z_1,\gamma,z_2)\\:= \mathcal{L}(z_1,\gamma,z_2)\big((1-\min(h(z_1),h(z_2)))\phi(z_1,\gamma,z_2) + \min(h(z_1),h(z_2))\id_{[0,1]}\big).
\end{multline*}
The definition above gives a well-defined map because the barycenter \[(1-\min(h(z_1),h(z_2)))\phi(z_1,\gamma,z_2) + \min(h(z_1),h(z_2))\id_{[0,1]}\] belongs to $\mathcal{G}$. And we extend the definition of $\xi_{\underline{n}}$ to all objects $\underline{n}$ of $\mathcal{P}^{g(0),g(1)}(A^0)$ such that $\underline{n}\simeq ((u,1,v),(v,0,u),(u,1,v))$.

We have to verify that each diagram like
\begin{equation}
\xymatrix@C=4em@R=4em
{ \mathcal{D}^f(\underline{p}) \ar@{->}[d]_-{\xi_{\underline{p}}} \ar@{->}[r] & \ar@{->}[d]^-{\xi_{\underline{q}}} \mathcal{D}^f(\underline{q}) \\
	\P^{\mathcal{G}}X \ar@{=}[r]	& \P^{\mathcal{G}}X
}
\label{square}
\end{equation}
where the vertical maps are constructed is commutative.

\begin{figure}
	\[
	\xymatrix@C=4em@R=4em
	{ \mathcal{D}^f(\underline{p}) \ar@{->}[d] \ar@{->}[r] \ar@/_40pt/@{->}[dd]_-{\xi_{\underline{p}}}& \ar@{->}[d] \mathcal{D}^f(\underline{q}) \ar@/^40pt/@{->}[dd]^-{\xi_{\underline{q}}}\\
		\mathcal{D}^f(\mathbb{S}(\underline{p}))\ar@{=}[r]\ar@{->}[d]	& \mathcal{D}^f(\mathbb{S}(\underline{q}))\ar@{->}[d]\\
		\P^{\mathcal{G}}X \ar@{=}[r]	& \P^{\mathcal{G}}X.
	}
	\]
	\caption{Decomposition of Diagram~\ref{square}}
	\label{dec1}
\end{figure}

If the map $\underline{p}\to \underline{q}$ belongs to $\mathcal{P}^{g(0),g(1)}(A^0)_-$, then $\mathbb{S}(\underline{p}) = \mathbb{S}(\underline{q})$ and Diagram~\ref{square} can be decomposed as in Figure~\ref{dec1}. The top square is commutative because by Proposition~\ref{final-matching}, $\mathbb{S}(\underline{p}) = \mathbb{S}(\underline{q})$ is the terminal object of the equivalence class. The bottom square is trivially commutative. It is in fact something general: there is never nothing to verify if the top map $\underline{p}\to \underline{q}$ belongs to $\mathcal{P}^{g(0),g(1)}(A^0)_-$.

\begin{figure}
\[ \xymatrix@C=4em@R=2em
	{
		\mathcal{D}^f(\underline{p}) \ar@/_40pt/@{->}[ddd]_-{\xi_{\underline{p}}}\fd{-}\fR{+} \ar@{}[drr] |{\circled{A}} &&\mathcal{D}^f(\underline{q}) \fd{-}\ar@/^40pt/@{->}[ddd]^-{\xi_{\underline{q}}}\\
		\mathcal{D}^f(\underline{m}) \ar@{->}[rd]^-{+}\fd{-} \ar@{->}[rr]^-{+} \ar@{}[drr] |{\circled{B}} && \mathcal{D}^f(\mathbb{S}(\underline{q})) \fD{}\\
		\mathcal{D}^f(\mathbb{S}(\underline{m})) \fd{}\ar@{}[dr] |{\circled{D}} & L_{\underline{q}}\mathcal{D}^f  \ar@{->}[ru]^-{+}\ar@{->}[rd]\ar@{}[r] |-{\circled{C}}  &   \\
		\P^{\mathcal{G}}X \ar@{=}[rr] && \P^{\mathcal{G}}X.
	}\]
	\caption{Decomposition of Diagram~\ref{square}}
	\label{dec2}
\end{figure}

Suppose now that the map $\underline{p}\to \underline{q}$ belongs to $\mathcal{P}^{g(0),g(1)}(A^0)_+$. We have to verify the commutativity of the diagram with the newly defined maps. Diagram~\ref{square} can be decomposed as in Figure~\ref{dec2}. The existence of $\underline{m}$ and the commutativity of $\circled{A}$ comes from the Reedy structure of $\mathcal{P}^{g(0),g(1)}(A^0)$. The commutativity of the triangle $\circled{B}$ comes from the universal property of the colimit. The commutativity of the triangle $\circled{C}$ comes from the method for constructing $\mathcal{D}^f(\mathbb{S}(\underline{q})) \to \P^{\mathcal{G}}X$. Finally, the commutativity of the triangle $\circled{D}$ is the induction hypothesis when the map $\mathcal{D}^f(\mathbb{S}(\underline{q})) \to \P^{\mathcal{G}}X$ is constructed.
\end{proof}

\subsection*{About the category of topological spaces chosen in the past papers.} All past papers can be adapted to ${\mathcal{H}\mathbf{Top}}_{\mathbf{\Delta}}$, including \cite{model3} which is even a little bit simpler because ${\mathcal{H}\mathbf{Top}}_{\mathbf{\Delta}}$ is locally presentable: the smallness condition becomes trivial. It is not clear that the proofs of \cite{model3} are valid without a separation condition. Indeed, the closedness of some diagonal is used in \cite[Proposition~10.5]{model3}. Valid proofs of the existence of the q-model structure of flows with or without a separation condition can be found in \cite[Theorem~3.11]{leftdetflow} and \cite[Theorem~7.4]{QHMmodel}.