Homotopy Lifting PropertyExplores the homotopy lifting property, demonstrating how to lift homotopic maps and solve lifting problems on different spaces.
CW Approximation TheoremExplores the CW Approximation Theorem, constructing CW complexes from spaces to ensure isomorphism on homology groups.
Homotopy Type TheoryCovers homotopy type theory, including equivalences, contractible spaces, pushouts, and applications.
Attachment of a 1-cellExplores the attachment of a 1-cell to a space and the conditions for points to belong to the same connected component.
