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)

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
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK

Categorical Homotopy Theory
Language: en
Pages: 371
Authors: Emily Riehl
Categories: Mathematics
Type: BOOK - Published: 2014-05-26 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by
A Concise Course in Algebraic Topology
Language: en
Pages: 262
Authors: J. P. May
Categories: Mathematics
Type: BOOK - Published: 1999-09 - Publisher: University of Chicago Press

DOWNLOAD EBOOK

Algebraic topology is a basic part of modern mathematics, and some knowledge of this area is indispensable for any advanced work relating to geometry, including
Nilpotence and Periodicity in Stable Homotopy Theory
Language: en
Pages: 228
Authors: Douglas C. Ravenel
Categories: Mathematics
Type: BOOK - Published: 1992-11-08 - Publisher: Princeton University Press

DOWNLOAD EBOOK

Nilpotence and Periodicity in Stable Homotopy Theory describes some major advances made in algebraic topology in recent years, centering on the nilpotence and p
Cubical Homotopy Theory
Language: en
Pages: 649
Authors: Brian A. Munson
Categories: Mathematics
Type: BOOK - Published: 2015-10-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A modern, example-driven introduction to cubical diagrams and related topics such as homotopy limits and cosimplicial spaces.