cowboy342/awesome-pure-math

A list of books and lectures for myself to study pure math.

learn-myself-pure-math

Mathematical Logic

[Lecture] Mathematical Logic - by Antonio Montalban
[Lecture] Mathematical Logic - Set Theory - by Antonio Montalban

Mathematical Proofs

Mathematical Proofs - A Transition to Advanced Mathematics by Gary Chartrand, Albert Polimeni, et al.

Mathematical Analysis

Principles of Mathematical Analysis by Walter Rudin

Real Analysis

Understanding Analysis - by Stephen Abbott

[Lecture] Real Analysis - by Francis Su

Complex Analysis

Abstract Algebra

Algebra - by Michael Artin

[Lecture] Abstract Algebra - by Benedict Gross

Topology

Topology by James Munkres

[Lecture] Point Set Topology by Prof Staecker

Algebraic Topology

Algebraic Topology by Allen Hatcher

[Lecture] Algebraic Topology by Math at Andrews University

[Lecture] Algebraic Topology by Pierre Albin

Functional Analysis

Category Theory

Categories for the Working Mathematician by Saunders Mac Lane

[Lecture] Categories for the idle mathematician by Richard E Borcherds

Type Theory

Type Theory and Formal Proof: An Introduction by Rob Nederpelt and Herman Geuvers

Homotopy Type Theory: Univalent Foundations of Mathematics by The Univalent Foundations Program Institute for Advanced Study