Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
The nLab article retract has Corollary 1, which sketches a proof of the fact that retracts of homotopy (co)limit diagrams are again homotopy (co)limit diagrams.
What is the original reference (if any) for this statement?
1 to 1 of 1