Walk the path from algebra to mastery — three times.
Every unit speaks at three levels. Beginner for the geometric picture. Intermediate for the formal definition with proofs and exercises. Master for graduate-level depth, with original-paper citations and Lean formalization status.
The full curriculum
What this is
A self-contained pathway through modern mathematics and physics, from precalculus through statistical field theory, symplectic geometry, algebraic geometry, and representation theory. The same concept, three times: an intuitive picture for the curious, a formal treatment with exercises for the rigorous, and a deep treatment with original-source citations for graduate readers.
Each unit is anchored on the canonical literature — Riemann's Theorie der Abelschen Functionen, Cartan-Serre's Faisceaux Algébriques Cohérents, Frobenius's character theory papers, Hodge's harmonic-integrals monograph, Mumford's Geometric Invariant Theory. Master-tier prose contextualises the original conception alongside the modern textbook synthesis.
Every unit ships through a 27-point automated quality rubric. Mathlib formalization status is tracked per unit. Cross-references are validated. The whole thing builds clean.