Maps between homotopy coherent diagrams (Q1109370)

In ``Homotopy invariant algebraic structures on topological spaces'' (Lect. Notes Math. 347) (1973; Zbl 0285.55012)] \textit{J. M. Boardman} and the reviewer proved the following results: Let \({\mathcal C}\) be a small topologically enriched category and X a homotopy coherent diagram of topological spaces. (1) Given a family f(C): X(C)\(\to Y(C)\), \(C\in ob {\mathcal C}\) of homotopy equivalences, then the Y(C) extend to a homotopy coherent diagram Y and the f(C) to a homotopy coherent homomorphism \(X\to Y\). (2) If f: \(X\to Y\) is a homotopy coherent homomorphism of homotopy coherent \({\mathcal C}\)-diagrams and H(C): f(C)\(\simeq g(C)\), \(C\in ob {\mathcal C}\), is a family of homotopies, g extends to a homotopy coherent homomorphism \(X\to Y\) and H to a coherent homotopy \(f\simeq g.\) For discrete indexing categories, the authors extend these results to coherent diagrams in simplicial categories \({\mathcal B}\), for which each morphism space \({\mathcal B}(A,B)\) is a Kan complex. The proofs use induction on the nerve of the indexing category and the coherent nerve of the target category. They illustrate their constructions in low dimensions. As applications they have group actions up to homotopy and strong shape theory in mind. The former case has been studied in detail by \textit{M. Fuchs} [Proc. Am. Math. Soc. 58, 347-352 (1976; Zbl 0343.55010)] and by \textit{R. Schwänzl} and the reviewer [Lect. Notes Math. 1217, 364-390 (1986; Zbl 0618.55007)].