search

HoTT / book

A textbook on informal homotopy type theory
2.04k stars 360 forks source link

Reference the blog? #266

Closed mikeshulman closed 11 years ago

mikeshulman commented 11 years ago

Should we include a pointer to the blog/website homotopytypetheory.org, other than just as a place to get a free copy of the book? E.g. "To join the community and keep up to date on recent developments..." at the end of the introduction maybe.

DanGrayson commented 11 years ago

That's a good idea.

On Tue, Jun 11, 2013 at 6:42 AM, Mike Shulman notifications@github.comwrote:

Should we include a pointer to the blog/website homotopytypetheory.org, other than just as a place to get a free copy of the book? E.g. "To join the community and keep up to date on recent developments..." at the end of the introduction maybe.

— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/266 .

andrejbauer commented 11 years ago

Such as on the back cover?

DanGrayson commented 11 years ago

People reading the e-book might see the back cover seldom.

On Tue, Jun 11, 2013 at 11:26 AM, Andrej Bauer notifications@github.comwrote:

Such as on the back cover?

— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/266#issuecomment-19250911 .

andrejbauer commented 11 years ago

Anyone who lands anywhere on homotopytypetheory.org will immediately realize that this is a whole web site devoted to HoTT. It's not like they're going to download the book and then wonder if there are other resources available. I think this is not actually necessary. Also, Google returns Wikipedia and the blog as the first two hits for "homotopy type theory".

DanGrayson commented 11 years ago

An explicit invitation to join the community would still be a friendly gesture, despite the simplicity of searching.

On Tue, Jun 11, 2013 at 1:22 PM, Andrej Bauer notifications@github.comwrote:

Anyone who lands anywhere on homotopytypetheory.org will immediately realize that this is a whole web site devoted to HoTT. It's not like they're going to download the book and then wonder if there are other resources available. I think this is not actually necessary. Also, Google returns Wikipedia and the blog as the first two hits for "homotopy type theory".

— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/266#issuecomment-19255603 .

mikeshulman commented 11 years ago

Someone who already has the book might not feel the need to go download another copy of it anyway. Plus that our Wikipedia page is not currently in a very good state. And not everyone may immediately think "aha, I should google this phrase" -- it may not be clear that there is a community to look for.

andrejbauer commented 11 years ago

Sure, I just think the url on the back page and the copyright page is enough, but if anyone wants to put another one in, go ahead.

awodey commented 11 years ago

The introduction concludes with the words:

Finally, recall that this book was written as a massively collaborative effort by a large number of people. We have done our best to achieve consistency in terminology and notation, and to put the mathematics in a linear sequence that flows logically, but it is very likely that some imperfections remain. We ask the reader’s forgiveness for any such infelicities, and welcome suggestions for improvement of the next edition.

This seems like a natural place to put it. For example, we could add:

We ask the reader’s forgiveness for any such infelicities, and welcome suggestions for improvement of the next edition. These may be submitted at the site {\tt homotopytypetheory.org}, which also serves as a gateway into this research community.

Then on HoTT page for the book, we have some mechanism for collecting suggestions -- either in the comments, or something more elaborate.

mikeshulman commented 11 years ago

Okay, that would work too. Feel free to put it wherever.

awodey commented 11 years ago

the way you did it seems fine.

On Jun 11, 2013, at 5:09 PM, Mike Shulman notifications@github.com wrote:

Okay, that would work too. Feel free to put it wherever.

— Reply to this email directly or view it on GitHub.