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)
GET BOOK
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

GET EBOOK

Categorical Homotopy Theory
Language: en
Pages: 371

Categorical Homotopy Theory

Authors: Emily Riehl
Categories: Mathematics
Type: BOOK - Published: 2014-05-26 - Publisher: Cambridge University Press

GET 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

A Concise Course in Algebraic Topology

Authors: J. P. May
Categories: Mathematics
Type: BOOK - Published: 1999-09 - Publisher: University of Chicago Press

GET 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
Modern Classical Homotopy Theory
Language: en
Pages: 862

Modern Classical Homotopy Theory

Authors: Jeffrey Strom
Categories: Mathematics
Type: BOOK - Published: 2011-10-19 - Publisher: American Mathematical Soc.

GET EBOOK

The core of classical homotopy theory is a body of ideas and theorems that emerged in the 1950s and was later largely codified in the notion of a model category
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

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