Institute for Advanced Study
Instituto de Estudos Avançados de Princeton
Інститут перспективних досліджень
Институт перспективных исследований
Institut d'Estudis Avançats de Princeton
普林斯顿高等研究院
프린스턴 고등연구소
Institut Studi Lanjutan
معهد الدراسات المتقدمة
プリンストン高等研究所
centro di ricerca teorica di Princeton (New Yersey)
organisatie uit Verenigde Staten van Amerika
postgraduate center in Princeton, New Jersey, US
מכון מחקר בפרינסטון ניו ג'רזי
privates Forschungsinstitut in Princeton, New Jersey
美国研究机构
معهد بحثي أكاديمي
미국의 사설 연구소
teaduskeskus Princetonis, New Jerseys
навукова-даследчы інстытут у Прынстане (штат Нью-Джэрсі)
universitas di Amerika Serikat
научно-исследовательский институт в Принстоне (штат Нью-Джерси)
coleg yn New Jersey
amerykańska prywatna placówka naukowa w Princeton
centru de cercetare fundamentală
centro de postgrado en Princeton, Nueva Jersey
laboratoire de recherche
Richard Feynman
Andrej Bauer
Suburban
Institute for Advanced Study Seal.svg
Institute for Advanced Study logo.svg
Truth and Beauty
Institute for Advanced Study Princeton, April 2013
None
Special thanks are due to the Institute for Advanced Study, without which this book would obviously never have come to be. It proved to be an ideal setting for the creation of this new branch of mathematics: stimulating, congenial, and supportive. May some trace of this unique atmosphere linger in the pages of this book, and in the future development of this new field of study.
We are a group of two dozen mathematicians who wrote a 600 page book in less than half a year. This is quite amazing, since mathematicians do not normally work together in large groups. But more importantly, the spirit of collaboration that pervaded our group at the Institute for Advanced Study was truly amazing. We did not fragment. We talked, shared ideas, explained things to each other, and completely forgot who did what.
The Univalent Foundations Program
Private