Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Friedrich Nietzsche
The Will to Power-Vintage (1968)
First as Tragedy, then as Farce
Slavoj Zizek
The Divine Proportion
H. E. Huntley
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose