Explores examples of cell decomposition and its applications in different models, discussing the concept of homeomorphism and the equator of structures.
Covers homotopy type theory, including equivalences, contractible spaces, pushouts, and applications.
Explores connected components in a decked space and the well-defined application of functions.
Covers the concept of homeomorphisms in topology, focusing on functions that preserve topological properties.
Explores homotopy invariance, emphasizing the preservation of properties under continuous functions and their relationship with topological spaces.
Explores the definition of surfaces, focusing on the torus and its construction through various examples and morphic images.
