search

HoTT / book

A textbook on informal homotopy type theory
2.01k stars 358 forks source link

Cover page #92

Closed andrejbauer closed 11 years ago

andrejbauer commented 11 years ago

I see the cover page has been made ugly. I will fix it and will try to follow the new title, but don't jump at me if it isn't 100% accurate. The second page will reflect the correct title.

DanGrayson commented 11 years ago

The title should appear accurately on the cover, I would think.

On Tue, Apr 9, 2013 at 6:58 PM, Andrej Bauer notifications@github.comwrote:

I see the cover page has been made ugly. I will fix it and will try to follow the new title, but don't jump at me if it isn't 100% accurate. The second page will reflect the correct title.

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

andrejbauer commented 11 years ago

Yes, but surely you will not insist that the colon has to be there. Also, putting an acronym "IAS" on the cover is not appropriate, and surely it is ok to spell it out. Anyhow, have a look and let me know. I am not quite happy with the title page (page ii). The cover page might be passable. If you think it is ok, please close this issue.

awodey commented 11 years ago

the cover and title pages now look very good -- nice work Andrej.

Steve

On Apr 9, 2013, at 7:37 PM, Andrej Bauer notifications@github.com wrote:

Yes, but surely you will not insist that the colon has to be there. Also, putting an acronym "IAS" on the cover is not appropriate, and surely it is ok to spell it out. Anyhow, have a look and let me know. I am not quite happy with the title page (page ii). The cover page might be passable. If you think it is ok, please close this issue.

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

DanGrayson commented 11 years ago

The interior title page now has the first part of the author's name, "The Univalent Foundations Program", so far separated from the second part of the author's name, "Institute for Advanced Study, Princeton, April 2013", that it looks like the author is "The Univalent Foundations Program", the publisher is "Institute for Advanced Study", the publisher's city is Princeton, and the date of publication is April 2013, which is not what was intended. The idea was to have no publisher on the title page, just the title and the name of the author.

But now I see that there is an issue with the copyright notice -- the date of the copyright should not be confused with the year mentioned in the name of the author! So let's incorporate 2012-2013 into the name of the author.

See what I did at e69e2f4721d5bfa8b928923e630b005997d36001

Do we have permission for the flames picture yet?

On Tue, Apr 9, 2013 at 7:37 PM, Andrej Bauer notifications@github.comwrote:

Yes, but surely you will not insist that the colon has to be there. Also, putting an acronym "IAS" on the cover is not appropriate, and surely it is ok to spell it out. Anyhow, have a look and let me know. I am not quite happy with the title page (page ii). The cover page might be passable. If you think it is ok, please close this issue.

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

awodey commented 11 years ago

I think it looks good as is -- there is no risk that someone will think the IAS is the publisher. It's like a tech report, which often has this style.