Homotopy Type Theory

Homotopy Type Theory
Author :
Publisher :
Total Pages : 0
Release :
ISBN-10 : OCLC:1381144740
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Homotopy Type Theory by :

Download or read book Homotopy Type Theory written by and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: The present work has its origins in our collective attempts to develop a new style of "informal type theory" that can be read and understood by a human being, as a complement to a formal proof that can be checked by a machine. Univalent foundations is closely tied to the idea of a foundation of mathematics that can be implemented in a computer proof assistant."--Page vi


Homotopy Type Theory Related Books

Homotopy Type Theory
Language: en
Pages: 0
Authors:
Categories: Homotopy theory
Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

The present work has its origins in our collective attempts to develop a new style of "informal type theory" that can be read and understood by a human being, a
Modern Classical Homotopy Theory
Language: en
Pages: 862
Authors: Jeffrey Strom
Categories: Mathematics
Type: BOOK - Published: 2023-01-19 - Publisher: American Mathematical Society

DOWNLOAD 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
Algebraic Topology and Related Topics
Language: en
Pages: 313
Authors: Mahender Singh
Categories: Mathematics
Type: BOOK - Published: 2019-02-11 - Publisher: Birkhäuser

DOWNLOAD EBOOK

This book highlights the latest advances in algebraic topology, from homotopy theory, braid groups, configuration spaces and toric topology, to transformation g
Introduction to Homotopy Theory
Language: en
Pages: 352
Authors: Martin Arkowitz
Categories: Mathematics
Type: BOOK - Published: 2011-07-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is a book in pure mathematics dealing with homotopy theory, one of the main branches of algebraic topology. The principal topics are as follows: Basic Homo
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