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

Homotopy in Exact Categories
Language: en
Pages: 172

Homotopy in Exact Categories

Authors: Jack Kelly
Categories: Mathematics
Type: BOOK - Published: 2024-07-25 - Publisher: American Mathematical Society

DOWNLOAD EBOOK

View the abstract.
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

DOWNLOAD 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

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

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
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

DOWNLOAD EBOOK

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