Homotopy Theory in Care ComplexesExplores the construction of cylinder objects in chain complexes over a field, focusing on left homotopy and interval chain complexes.
Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Homotopy Type TheoryCovers homotopy type theory, including equivalences, contractible spaces, pushouts, and applications.