Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics
Author :
Publisher : Univalent Foundations
Total Pages : 484
Release :
ISBN-10 :
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis Homotopy Type Theory: Univalent Foundations of Mathematics by :

Download or read book Homotopy Type Theory: Univalent Foundations of Mathematics written by and published by Univalent Foundations. This book was released on with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Homotopy Type Theory: Univalent Foundations of Mathematics Related Books

Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK

Elements of Homotopy Theory
Language: en
Pages: 764

Elements of Homotopy Theory

Authors: George W. Whitehead
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

As the title suggests, this book is concerned with the elementary portion of the subject of homotopy theory. It is assumed that the reader is familiar with the
Complex Cobordism and Stable Homotopy Groups of Spheres
Language: en
Pages: 418

Complex Cobordism and Stable Homotopy Groups of Spheres

Authors: Douglas C. Ravenel
Categories: Mathematics
Type: BOOK - Published: 2003-11-25 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

Since the publication of its first edition, this book has served as one of the few available on the classical Adams spectral sequence, and is the best account o
Homotopy of Operads and Grothendieck-Teichmuller Groups
Language: en
Pages: 581

Homotopy of Operads and Grothendieck-Teichmuller Groups

Authors: Benoit Fresse
Categories: Mathematics
Type: BOOK - Published: 2017-04-21 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

The Grothendieck–Teichmüller group was defined by Drinfeld in quantum group theory with insights coming from the Grothendieck program in Galois theory. The u
Handbook of Homotopy Theory
Language: en
Pages: 1142

Handbook of Homotopy Theory

Authors: Haynes Miller
Categories: Mathematics
Type: BOOK - Published: 2020-01-23 - Publisher: CRC Press

DOWNLOAD EBOOK

The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open pro