Homotopy Type Theory

Homotopy Type Theory
Author :
Publisher :
Total Pages : 589
Release :
ISBN-10 : OCLC:1028552960
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
Book Synopsis Homotopy Type Theory by : Univalent Foundations Program

Download or read book Homotopy Type Theory written by Univalent Foundations Program and published by . This book was released on 2013 with total page 589 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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, which may some day replace set theory.


Homotopy Type Theory Related Books

Homotopy Type Theory
Language: en
Pages: 589

Homotopy Type Theory

Authors: Univalent Foundations Program
Categories: Homotopy theory
Type: BOOK - Published: 2013 - Publisher:

GET EBOOK

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
Model Categories
Language: en
Pages: 229

Model Categories

Authors: Mark Hovey
Categories: Mathematics
Type: BOOK - Published: 2007 - Publisher: American Mathematical Soc.

GET EBOOK

Model categories are used as a tool for inverting certain maps in a category in a controllable manner. They are useful in diverse areas of mathematics. This boo
Cubical Homotopy Theory
Language: en
Pages: 649

Cubical Homotopy Theory

Authors: Brian A. Munson
Categories: Mathematics
Type: BOOK - Published: 2015-10-06 - Publisher: Cambridge University Press

GET EBOOK

Graduate students and researchers alike will benefit from this treatment of classical and modern topics in homotopy theory of topological spaces with an emphasi
From Categories to Homotopy Theory
Language: en
Pages: 401

From Categories to Homotopy Theory

Authors: Birgit Richter
Categories: Mathematics
Type: BOOK - Published: 2020-04-16 - Publisher: Cambridge University Press

GET EBOOK

Bridge the gap between category theory and its applications in homotopy theory with this guide for graduate students and researchers.
Algebraic Homotopy
Language: en
Pages: 490

Algebraic Homotopy

Authors: Hans J. Baues
Categories: Mathematics
Type: BOOK - Published: 1989-02-16 - Publisher: Cambridge University Press

GET EBOOK

This book gives a general outlook on homotopy theory; fundamental concepts, such as homotopy groups and spectral sequences, are developed from a few axioms and