"Homotopy Type Theory. Univalent Foundations of Mathematics" - читать интересную книгу автора (The Univalent Foundations Program)