Homotopy type theory

✍ Scribed by Egbert Rijke

Year: 2012
Tongue: English
Leaves: 97
Series: Master thesis at Utrecht University (revised)
Edition: version 28 Aug 2012
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Homotopy Type and Homology

📁 Homotopy Type and Homology

✍ Hans-Joachim Baues 📂 Library 📅 1996 🏛 Oxford University Press, USA 🌐 English

The author, a leading figure in algebraic topology, provides a modern treatment of a long established set of questions in this important research area. The book's principal objective--and main result--is the classification theorem on k-variants and boundary invariants, which supplement the classical

Homotopy type and homology

📁 Homotopy type and homology

✍ Baues H.J. 📂 Library 📅 1996 🏛 OUP 🌐 English

Truncation levels in homotopy type theor

📁 Truncation levels in homotopy type theory

✍ Nicolai Kraus 📂 Library 📅 2015 🌐 English

Homotopy Type Theory: Univalent Foundati

📁 Homotopy Type Theory: Univalent Foundations of Mathematics

✍ The Univalent Foundations Program 📂 Library 📅 2013 🌐 English

From the Introduction: Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy grou

Homotopy Type Theory. Univalent Foundati

📁 Homotopy Type Theory. Univalent Foundations of Mathematics

✍ Aczel Peter et al. 📂 Library 🌐 English

Univalent Foundations Program, 2013. — 589 p.<div class="bb-sep"></div>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. Univ

Extended abstracts fall 2013. Geometrica

📁 Extended abstracts fall 2013. Geometrical analysis. Type theory, homotopy theory

✍ Gambino, Nicola; González Nogueras, María del Mar; Kock, Joachim; Yang, Paul C 📂 Library 📅 2015 🏛 Birkhauser 🌐 English

<p><p>The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), bo