Revelation
Jun. 24th, 2013 07:55 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
stoutfellowLulu.com just informed me that my copy of Homotopy Type Theory, by the Univalent Foundations Project, has shipped.
It probably says something that I am very excited about this.
(The book aims at proposing another set of underpinnings for mathematics, besides traditional set theory. I've been reading John Baez's blog on category theory, from which this work springs, for several years now, and it looks very intriguing. Besides, new ways of looking at the same data is one of the things mathematics is all about, as far as I'm concerned.)
:hop hop:
It probably says something that I am very excited about this.
(The book aims at proposing another set of underpinnings for mathematics, besides traditional set theory. I've been reading John Baez's blog on category theory, from which this work springs, for several years now, and it looks very intriguing. Besides, new ways of looking at the same data is one of the things mathematics is all about, as far as I'm concerned.)
:hop hop:
