1: \begin{definition} \label{def:P+}

2:   Define $P^+: \fc(X,B) \to \fc(X,A)$ as follows. For $x\in \fc(X,B)$, 

3:   \begin{equation*}

4:     P^+: x \mapsto

5:     \begin{cases}

6:       \fc(j'_1) P^+_1 x & \text{if } x \in B_1\\

7:       \fc(j'_2) P^+_2 x & \text{if } x \in B_2\\

8:     \end{cases}

9:   \end{equation*}

10:   Is this well-defined? If $x \in B_1 \cap B_2 = B_0$, then they agree

11:   by the commutativity of the solid and dashed arrows

12:   in~\eqref{cd:P+}. Let $[\gamma] \in \fc(X,B)$. By Lemma~\ref{lemma:main} there exist $\gamma_1, \ldots, \gamma_n$ with $[\gamma_i] \in \fc(X_{k_i},B_{k_i})$ for $k_i \in \{1,2\}$ such that $[\gamma] = [\gamma_1] + \ldots +

13:   [\gamma_n]$. Define

14: \begin{equation*}

15: P^+[\gamma] = \fc(j'_{k_1}) P^+_{k_1} [\gamma_1] + \ldots + \fc(j'_{k_n}) P^+_{k_n} [\gamma_n].

16: \end{equation*}

17: This well defined by the same argument as in the proof of

18: Theorem~\ref{thm:pushoutAinX}.  It will be convenient to denote

19: $P^+(x)$ and $P^+[\gamma]$ by $x^+$ and $[\gamma]^+$ respectively.

20: \end{definition}

21: