Damascius' Problems and Solutions Concerning First Principles
Damaskios
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Projective Geometric Algebra
Eric Lengyel