Related Books
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: - Publisher: Univalent Foundations
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2013 - Publisher:
The present work has its origins in our collective attempts to develop a new style of "informal type theory" that can be read and understood by a human being, a
Language: en
Pages: 589
Pages: 589
Type: BOOK - Published: 2013 - Publisher:
This book is the product of a yearlong collaboration at the Institute for Advanced Study. It describes (the beta version of) a new language for mathematics, whi
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 2020-02-06 - Publisher: Oxford University Press
"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - wh
Language: en
Pages: 371
Pages: 371
Type: BOOK - Published: 2014-05-26 - Publisher: Cambridge University Press
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by