Math notes Topology Algebraic Topology Rational Homotopy Theory Category Theory Transformations, Equivalences, and Adjunctions Universal Properties Elementary Toposes K-Theory K0 in Various Settings K1 and K2 for Rings Higher Waldhausen K-Theory, Part I Higher Waldhausen K-Theory, Part II Homotopy Type Theory Voevodsky’s Simplicial Model of Univalent Type Theory Complexity Theory Theory of Computation