Old math notes

Algebra

• Algebra I
• Algebra II

Geometry

• Isometries of
• Geometry-Topology I
• Complex Algebraic Geometry (incomplete)

Logic & TCS

• Set Theory (incomplete)
• Theory of Computation
• Model Theory

Algebraic topology

• Geometry-Topology II
• Algebraic Topology, Part I (incomplete)

K-Theory

• Transformations, Equivalences, and Adjunctions
• Universal Properties
• K₀ in Various Settings
• K₁ and K₂ for Rings
• Higher Waldhausen K-Theory, Part I
• Higher Waldhausen K-Theory, Part II

Homotopy type theory

• An Introductory Overview of Homotopy Type Theory
• Voevodsky’s Simplicial Model of Univalent Type Theory
  (Slides)