search

HoTT / book

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

Going Public Step 2 #276

Closed awodey closed 11 years ago

awodey commented 11 years ago

Put book on lulu.com.

andrejbauer commented 11 years ago

So we definitely want the paperback version as well?

mikeshulman commented 11 years ago

Unless it's a huge amount of extra work, why not?

andrejbauer commented 11 years ago

http://www.lulu.com/shop/univalent-foundations-project/homotopy-type-theory-hardcover/hardcover/product-21076997.html

awodey commented 11 years ago

Is this a new one, or the one that Mike bought? We need to update to get all the new periods!

the hb is only about $30, and the difference in price between pb and hb less than $10. So maybe we should just do the hardcover to keep things simple?

awodey commented 11 years ago

I see now -- this is a new one.

andrejbauer commented 11 years ago

It is new and public. It's the real thing. I am creating paperback now.

andrejbauer commented 11 years ago

Paperback version: http://www.lulu.com/shop/univalent-foundations-project/homotopy-type-theory-paperback/paperback/product-21077021.html

mikeshulman commented 11 years ago

That's interesting -- they claim the paperback version ships in only 3-5 days, versus 6-8 for the hardcover.

awodey commented 11 years ago

maybe you should buy one of those, too, just to be safe … it does have more periods than the one you already bought ( - ;

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

That's interesting -- they claim the paperback version ships in only 3-5 days, versus 6-8 for the hardcover.

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

mikeshulman commented 11 years ago

I already did! (-:

spitters commented 11 years ago

I was curious whether we could send a version to google books. It seems that we can, they accept PDFs without ISBN, but I am not so sure that we want to anymore.

https://support.google.com/books/partner/answer/40288

I am commenting just in case someone feels differently.

awodey commented 11 years ago

I think google books would be good.

Sent from my iPhone

On Jun 20, 2013, at 3:29 AM, Bas Spitters notifications@github.com wrote:

I was curious whether we could send a version to google books. It seems that we can, they accept PDFs without ISBN, but I am not so sure that we want to anymore.

https://support.google.com/books/partner/answer/40288

I am commenting just in case someone feels differently.

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

spitters commented 11 years ago

I could upload this version: http://hottheory.files.wordpress.com/2013/03/hott-online.pdf

to google here: https://support.google.com/books/partner/answer/98235

I could upload it as author and copyright holder, I believe, using "The Univalent Foundations Program" as display name.

Please let me know if this is what we want, if someone else wants to do it that's OK too.

On Thu, Jun 20, 2013 at 3:50 PM, Steve Awodey notifications@github.comwrote:

I think google books would be good.

Sent from my iPhone

On Jun 20, 2013, at 3:29 AM, Bas Spitters notifications@github.com wrote:

I was curious whether we could send a version to google books. It seems that we can, they accept PDFs without ISBN, but I am not so sure that we want to anymore.

https://support.google.com/books/partner/answer/40288

I am commenting just in case someone feels differently.

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

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

andrejbauer commented 11 years ago

It's fine by me.

awodey commented 11 years ago

sure -- as long as it doesn't list you as the author!

On Jun 20, 2013, at 10:40 AM, Andrej Bauer notifications@github.com wrote:

It's fine by me.

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

andrejbauer commented 11 years ago

Well, if google thinks Bas is the author, then Bas is the author.