2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/145672We prove that any homotopy type can be recovered canonically from its associated weak omega-groupoid. This implies that the homotopy category of CW-complexes can be embedded in the homotopy category of Batanin's weak higher groupoids.Notes from a lecture at the StreetfestAlgebraic TopologyCategory Theorytext