The Cantor-Schröder-Bernstein Theorem for $\infty$-groupoids

Martín Hötzel Escardó

We show that the Cantor-Schröder-Bernstein Theorem for homotopy types, or $\infty$-groupoids holds in the following form: For any two types, if each one is embedded into the other,…