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

Language: en
Pages: 484

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors:

Categories:

Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK

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

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

Language: en
Pages: 229

Model Categories

Authors: Mark Hovey

Categories: Mathematics

Type: BOOK - Published: 2007 - Publisher: American Mathematical Soc.

DOWNLOAD 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

Language: en
Pages: 862

Modern Classical Homotopy Theory

Authors: Jeffrey Strom

Categories: Mathematics

Type: BOOK - Published: 2011-10-19 - Publisher: American Mathematical Soc.

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

Language: en
Pages: 248

Algebra, Topology, and Category Theory

Authors: Samuel Eilenberg

Categories: Mathematics

Type: BOOK - Published: 1976 - Publisher:

DOWNLOAD EBOOK