Previously (Weak) Homotopy Equivalences. An average function between sets, is neither surjective nor injective. We can however isolate the two “failure modes” if we insert a third set in between. We can, for instance, pick this set to be the subset of that is the image of under . We then define to be the […]