Is there a cheap proof that (homotopy) endomorphisms are functorial? This is, in some sense, the homotopy version of this question.)
If $C$ is a category with $iC$ the subcategory of isomorphisms, there is a functor $X \mapsto End(X)$ from $iC$ to the category of monoids.  Moreover, this extends to a result if $C$ has an enrichment in a monoidal category $\cal V$, and this changes the target to the category of $\cal V$-monoids.
My question is about the homotopical analogue of this.  For example, if $C$ is a simplicial model category, Dwyer and Kan's sequence of papers on the simplicial localization show that there is a functor which captures the homotopy type of the monoid $End(X)$ properly and which is functorial in weak equivalences.  (For a weak equivalence $X \to Y$, there are natural equivalences $End(X) \to Map(X,Y) \leftarrow End(Y)$, but these do not induce a map in the homotopy category of monoids.)
It is natural to ask this question in other circumstances.  For instance, I was always taught that one of the operating principles of the theory of operads is that that algebra structures can be made invariant under weak equivalence.  However, actually showing this seems to be surprisingly annoying, and requires one to make use of auxiliary constructions like the endomorphism operad of a map $f:X \to Y$.  If this map is an acyclic cofibration or an acyclic fibration in an appropriate model category, this map has good homotopical properties.  In general it seems to require constructing a factorization, and proving that we have a well-defined functor - from isomorphisms in the homotopy category of $C$ to the homotopy category of operads, or more generally some homotopy category of $\cal V$-monoids - seems to be ugly.
Is there a more direct proof that homotopy endomorphism monoids are functorial?
There are definitely obstructions to any direct constructions.  For example, there is a quasi-isomorphism of chain complexes
$$
(\mathbb Z \hookrightarrow \mathbb Z \oplus \mathbb Z) \to (\mathbb Z^2 \hookrightarrow \mathbb Z^2 \oplus \mathbb Z)
$$
such that there is simply no map of differential graded algebras in either direction between the associated endomorphism objects.
 A: What about simple category theory?
Let $C_{X,Y}$ denotes the full simplicial subcategory of $C$ whose objects are $X$ and $Y$. If you see $End(X)$ as a simplicial category with one object, then you have a full embedding $End(X)\to C_{X,Y}$. The latter is a Dwyer-Kan equivalence if there exists a weak equivalence $X\to Y$, in which case the other full embedding $End(Y)\to C_{X,Y}$ is a Dwyer-Kan equivalence as well. In other words, $End(X)$  and $End(Y)$ are canonically isomorphic in the homotopy category of simplicial categories. Note that cofibrant/fibrant replacement functors of the Bergner-Dwyer-Kan model structure can be chosen so that they don't affect the objects, so that, at the end, we can promote this into an isomorphism in the homotopy category of simplicial monoids.
The same proof applies to a dg category $C$ (or to any $V$-enriched category $C$, where $V$ is a symmetric monoidal model category such that the category of $V$-enriched categories admits a Dwyer-Kan style model category structure).
