Stream: math-comp users

Topic: Formal note-taking on "Introduction to Manifold"


view this post on Zulip abab9579 (Aug 16 2022 at 04:39):

Hello, I would like to know how to go with formal proofs on definition and basic properties of manifolds. The goal is for me to understand the concept of manifolds, and know what kind of structure is being constructed for this field. Basically, I want a formal note-taking. Hence I would not like to read through an already written proofs for manifold theory. Do you have any directives or recommendations?

Also, is there an introduction of homotopy theory close to constructive style? I was going through Munkres Topology, yet found the inclusions hard to deal with in homotopy.

Thanks in advance!


Last updated: Feb 08 2023 at 04:04 UTC