Exciting New Book
2 views
Skip to first unread message
Joseph Razavi
Jun 21, 2013, 12:32:09 PM6/21/13
to manchester-type-theory-reading-group
Hi,
A brand new type theory book came out yesterday, which you can get at
http://homotopytypetheory.org/book/ (There are free versions to
download, as well as printed copies sold at-cost).
The subject matter is quite advanced; it covers a subject called
Homotopy Type Theory, which is about the (amazing) fact that the
constructions of type theory can be interpreted as talking about
topological spaces. This leads to some very cool ideas about what a
nice foundation for mathematics could be.
It has a thorough introductory section, which looks like it contains a
lot of really nice material describing the concepts and intuitions
behind a lot of type theory. This might be worth a look if you're
trying to figure out what's going on in any of the other books I've
linked to, or if you'd like to see the concepts of type theory with
less of the weird logical baggage. (Particularly Chapter 1, which is
50 pages -- you don't need to tackle the whole behemoth!)
It will also be of particular interest to anybody thinking of taking
Topology in the future, although the topological material it covers is
advanced.
One last cool thing about this book is the social aspect of its
creation. It's 500-ish pages, written collaboratively by about 40
people, in about 9 months, and then released under a very relaxed
licence. It might give us a glimpse into what the future of academic
collaboration is, especially in Maths, which tends to be an early
adopter of new ways of organizing. There's a nice blog post about the
social aspects at http://audrey.fmf.uni-lj.si/hott.html .
As usual, if anybody has a look and wants to chat, let me or the list know!
Eeep !!
Joe
A brand new type theory book came out yesterday, which you can get at
http://homotopytypetheory.org/book/ (There are free versions to
download, as well as printed copies sold at-cost).
The subject matter is quite advanced; it covers a subject called
Homotopy Type Theory, which is about the (amazing) fact that the
constructions of type theory can be interpreted as talking about
topological spaces. This leads to some very cool ideas about what a
nice foundation for mathematics could be.
It has a thorough introductory section, which looks like it contains a
lot of really nice material describing the concepts and intuitions
behind a lot of type theory. This might be worth a look if you're
trying to figure out what's going on in any of the other books I've
linked to, or if you'd like to see the concepts of type theory with
less of the weird logical baggage. (Particularly Chapter 1, which is
50 pages -- you don't need to tackle the whole behemoth!)
It will also be of particular interest to anybody thinking of taking
Topology in the future, although the topological material it covers is
advanced.
One last cool thing about this book is the social aspect of its
creation. It's 500-ish pages, written collaboratively by about 40
people, in about 9 months, and then released under a very relaxed
licence. It might give us a glimpse into what the future of academic
collaboration is, especially in Maths, which tends to be an early
adopter of new ways of organizing. There's a nice blog post about the
social aspects at http://audrey.fmf.uni-lj.si/hott.html .
As usual, if anybody has a look and wants to chat, let me or the list know!
Eeep !!
Joe
wan...@cs.man.ac.uk
Jun 21, 2013, 4:15:45 PM6/21/13
to manchester-type-th...@googlegroups.com
Dear Joe,
Thanks for sharing.
Also, I like to "Eeep !!"
Haha, have a nice evening
Robert
> --
> You received this message because you are subscribed to the Google Groups
> "Manchester Type Theory Reading Group" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
> manchester-type-theory-r...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
Thanks for sharing.
Also, I like to "Eeep !!"
Haha, have a nice evening
Robert
> You received this message because you are subscribed to the Google Groups
> "Manchester Type Theory Reading Group" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
> manchester-type-theory-r...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
Reply all
Reply to author
Forward
0 new messages