Notes Topology Algebraic Topology Rational Homotopy Theory Category Theory Elementary Toposes Homotopy Type Theory Simplicial Model of Univalent Type Theory