Old math notes Algebra Algebra I Algebra II Geometry Isometries of Geometry-Topology I Complex Algebraic Geometry (incomplete) Algebraic topology Geometry-Topology II Algebraic Topology, Part I (incomplete) K-Theory Transformations, Equivalences, and Adjunctions Universal Properties K0 in Various Settings K1 and K2 for Rings Higher Waldhausen K-Theory, Part I Higher Waldhausen K-Theory, Part II Logic & TCS Set Theory (incomplete) Theory of Computation Model Theory Homotopy type theory An Introductory Overview of Homotopy Type Theory Voevodsky’s Simplicial Model of Univalent Type Theory