Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.
Explore les géométries non euclides, y compris la géométrie hyperbolique et le modèle tractricoïde, défiant les principes euclidiens et introduisant la géométrie projective.