Cozy Library | Category: homotopy theory

Browse
Books
Shelves

Discover (Random Books)

Coding the Matrix: Linear Algebra Through Computer Science Applications

Coding the Matrix: Linear Algebra Through Computer Science Applications

Philip N. Klein

Early Retirement Extreme: A Philosophical and Practical Guide to Financial Independence

Early Retirement Extreme: A Philosophical and Practical Guide ...

Jacob Lund Fisker

AncientEgyptianPyramid Allen SBL

AncientEgyptianPy[..] Allen SBL

Revolt Against the Modern World: Politics, Religion, and Social Order in the Kali Yuga

Revolt Against the Modern World: Politics, Religion, and Social ...

Category: homotopy theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program