<p dir="ltr">As you can guess, the correct URL is<br>
<a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a></p>
<p dir="ltr">Guillaume</p>
<div class="gmail_quote">Le 21 juin 2013 13:09, "Victor Porton" <<a href="mailto:porton@narod.ru">porton@narod.ru</a>> a écrit :<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
21.06.2013, 13:11, "Andrej Bauer" <<a href="mailto:andrej.bauer@andrej.com">andrej.bauer@andrej.com</a>>:<br>
> I am very happy to announce the first public release of the "HoTT Book":<br>
><br>
> Homotopy Type Theory: Univalent Foundations of Mathematics<br>
><br>
> by Univalent Foundations Project<br>
> at Institute for Advanced Study<br>
><br>
> The book is freely available at <a href="http://homotopytypetheory.org/book/" target="_blank">http://homotopytypetheory.org/book/</a><br>
><br>
> You can download PDF in several formats, or cheaply buy a bound copy.<br>
><br>
> There are by now several blog posts about the book which explain well<br>
> what it is about:<br>
><br>
> * the official announcement by Steve Awodey:<br>
> <a href="http://homotopytypetheory.org/2013/06/20/the-hott-book/" target="_blank">http://homotopytypetheory.org/2013/06/20/the-hott-book/</a><br>
> * Mike Shulman's announcement on n-Cafe:<br>
> <a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.htmlhttp://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" target="_blank">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.htmlhttp://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a><br>
<br>
Not Found<br>
<br>
The requested URL /category/2013/06/the_hott_book.htmlhttp://<a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" target="_blank">golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a> was not found on this server.<br>
<br>
> * Andrej Bauer discusses the social and technological aspects of<br>
> writing the book at <a href="http://audrey.fmf.uni-lj.si/hott.html" target="_blank">http://audrey.fmf.uni-lj.si/hott.html</a><br>
> * Bob Harper announces the book and discusses what needs to be done:<br>
> <a href="http://existentialtype.wordpress.com/2013/06/20/the-homotopy-type-theory-book-is-out/" target="_blank">http://existentialtype.wordpress.com/2013/06/20/the-homotopy-type-theory-book-is-out/</a><br>
> * Carlo Agiuli wrote an introduction to the introduction:<br>
> <a href="http://www.carloangiuli.com/blog/homotopy-type-theory-univalent-foundations-of-mathematics/" target="_blank">http://www.carloangiuli.com/blog/homotopy-type-theory-univalent-foundations-of-mathematics/</a><br>
><br>
> If you're more of a visual person, watch a movie about the making of<br>
> the book (these are modern times): <a href="https://vimeo.com/68761218" target="_blank">https://vimeo.com/68761218</a><br>
><br>
> With kind regards,<br>
><br>
> Andrej<br>
<br>
--<br>
Victor Porton - <a href="http://portonvictor.org" target="_blank">http://portonvictor.org</a><br>
</blockquote></div>