Homotopy Type Theory. Univalent Foundations of Mathematics

Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCE...

52 downloads 1421 Views 4MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

STUDIES I N LOGIC AND THE F O U N D A T I O N S O F MATHEMATICS Editors L. E. J. B RO U W E R, Laren (N.H.) A. H E Y T...

Homotopy Theory PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Edited by EILENBERG PAULA. SMITHan...

Homotopy Theory SZE-TSEN HU Wayne State University, Detroit, Michigan 1959 IDI ACADEMIC PRESS • New York and London ...

Abstract Homotopy and Simple Homotopy Theory This page is intentionally left blank Abstract Homotopy and Simple Ho...