# Facts

Let $\mathtt{P}$ be a (topological, for example) operad, and let $\vec{\mathtt{P}}$ be the associated bicolored operad whose algebras are triplets $(A,B,f)$ where $A$ and $B$ are $\mathtt{P}$-algebras and $f$ is a morphism of such algebras. It has two colors $a$ and $b$ and is given by:

Then if $\mathtt{P}$ is formal, so is $\vec{\mathtt{P}}$. This is to be contrasted with the fact that the Swiss-Cheese operad is not formal, even though the operad of little $2$-disks is. The operad governing morphisms is formal, but not the one governing actions.

Let $\mathtt{P}$ be a dg-operad (maybe with some finiteness assumptions), and $A$ be an algebra over this operad. Then the symmetric collection $\{ A^{\otimes n} \}_{n \ge 0}$ is a right-comodule over $\mathtt{P}^\vee$. The coaction morphism

is dual to the map $\mathtt{P}(l) \otimes A^{\otimes(k+l-1)} \to A^{\otimes k}$ given by

If $F : \mathsf{C} \times \mathsf{D} \to \mathsf{E}$ is a bifunctor that preserves reflexive coequalizers in each variable, then it preserves reflexive coequalizers in the following sense: if $M_1 \xrightarrow{d_0, d_1} M_0 \xrightarrow{d_0} M$ is a reflexive coequalizer in $\mathsf{C}$ (with reflector $s_0$), and $M'_1 \xrightarrow{d_0', d_1'} M'_0 \xrightarrow{d_0} M'$ is a reflexive coequalizer in $\mathsf{D}$ (with reflector $s'_0$), then so is

This is a classical result, and the proof hinges on the following trick (that I saw in Goerss and Hopkins’ *André–Quillen (co)-homology for simplicial algebras over simplicial operads*, but it can probably be found elsewhere): if $f$ equalizes $F(d_0, d'_0)$ and $F(d_1, d'_1)$, then it must also equalize $F(1, d'_0)$ and $F(1, d'_1)$, and it must also equalize $F(d_0, 1)$ and $F(d_1, 1)$. Indeed:

This then implies that if $\mathtt{P}$ is an operad, then the free $\mathtt{P}$-algebra functor preserves reflexive coequalizers. It didn’t really click in before for me that this was the reason why.

The retract argument: if $f = (X \xrightarrow{i} A \xrightarrow{p} Y)$ is a composite and if $f$ has the left lifting property against $p$, then $f$ is a retract of $i$. Similarly, if it has the right lifting property against $i$, then it is a retract of $p$. This seems to be useful for weak factorization systems, for example if $f$ is an acyclic cofibration and you manage to factorize it as something followed by a fibration, then $f$ is a retract of that something.