Arithmetic and Geometry of Algebraic Cycles
B. Brent Gordon, James D. Lewis, Stefan Müller-Stach, Shuji Saito, Noriko Yui
Inbunden
2 337 kr
Del 11 i serien Mathematics Study Resources
590 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
Produktinformation
Utforska kategorier
Mer om författaren
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Arithmetic and Geometry of Algebraic Cycles
B. Brent Gordon, James D. Lewis, Stefan Müller-Stach, Shuji Saito, Noriko Yui
Häftad
2 337 kr
