10-AUG-2026

1107

Thinking about the plan here a bit. I think my aim is just going to be to finish out point set here for now, which is only another 30 pages or so, then pause to reorganize the notes. I will probably switch to Hatcher to match the course I’ve been watching for the homotopy stuff. I haven’t been following along the syllabus directly, just watching the videos, so it’ll be good to have some exercises, and to be honest, I’m kinda just disliking the G&G book a bit. The authors are inconsistent in some annoying ways (interchanging basis and base freely, for instance), and they also have a habit of making some intuitive leaps I don’t think are good leaps to take. I don’t think any of it is wrong, just – if I were formalizing it I think the ratio of lines-of-Lean to lines-of-Proof would be pretty skewed towards Lean.

It has been good for being a pretty dense listing of the various names and structures in point-set though. I feel like I have a pretty good glossary of definitions now. I like the working mode I’ve come around to of ‘take informal notes on one thing; formalize another; watch a class; pick two.’ It’s a good pace that’s relatively easy to keep, while feeling quick. The goal is to build endurance, not speed. Speed only comes through hours spent, endurance comes through consistently spending them.