Xah Math
Category Theory, by Tom Leinster
By Xah Lee. Date:
2022-08-02
.
Basic Category Theory
by Tom Leinster.
basic_category_theory_by_Tom_Leinster_2016-12-30.pdf
Math Foundation, type theory, proof theory
Homotopy Type Theory
Univalent Foundation 2014, by Vladimir Voevodsky
Type Theory vs Homotopy Type Theory vs Univalent Foundation
Category Theory Notes
Category Theory, by Brendan Fong, David Spivak
Category Theory, by Tom Leinster