"project" --> "book" in preface?

[dlicata335]

In the phrase "While each of the above individuals contributed something to this project", the word "project" seems ambiguous to me: Does it refer to "homotopy type theory/univalent foundations" or "this book"? I think that is supposed to be the list of people who contributed more to the book specifically, but if so I think we should reword.

[awodey]

It should be the entire UF program - not just the book.

So it could say "program" rather than "project", also to match the title page.

The list of individuals who did a lot for the book in particular is further down.

Sent from my iPhone

On Apr 17, 2013, at 3:12 PM, Dan Licata notifications@github.com wrote:

In the phrase "While each of the above individuals contributed something to this project", the word "project" seems ambiguous to me: Does it refer to "homotopy type theory/univalent foundations" or "this book"? I think that is supposed to be the list of people who contributed more to the book specifically, but if so I think we should reword.

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

[dlicata335]

OK, that makes sense, but then I think that "a few of them contributed much more, and deserve to be recognized" is misleading: it makes it sound like these people contributed much more to the project/program, when I think we mean they contributed more to the book specifically.

[mikeshulman]

Yeah, Dan is right.
On Apr 17, 2013 3:25 PM, "Dan Licata" notifications@github.com wrote:

OK, that makes sense, but then I think that "a few of them contributed
much more, and deserve to be recognized" is misleading: it makes it sound
like these people contributed much more to the project/program, when I
think we mean they contributed more to the book specifically.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/140#issuecomment-16528420
.

[RobertHarper]

i agree. i think that the preface to the book is necessarily about the book itself, not about the project that gave rise to it. if we wish to write about the project as a social process, that can/should be done elsewhere. for this reason i think that the preface should simply list the participants, and not separate them into "members" and "visitors", which is an administrative distinction to do with the ias itself and how it runs these programs. if we then want to single out people for special recognition on the preparation of the book, i think that' s great, but it should be about the book.

bob

On Apr 17, 2013, at 3:41 PM, Mike Shulman wrote:

Yeah, Dan is right.
On Apr 17, 2013 3:25 PM, "Dan Licata" notifications@github.com wrote:

OK, that makes sense, but then I think that "a few of them contributed
much more, and deserve to be recognized" is misleading: it makes it sound
like these people contributed much more to the project/program, when I
think we mean they contributed more to the book specifically.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/140#issuecomment-16528420
.

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

[awodey]

I take the point.
I'll fix it.
S

Sent from my iPhone

On Apr 17, 2013, at 3:41 PM, Mike Shulman notifications@github.com wrote:

Yeah, Dan is right.
On Apr 17, 2013 3:25 PM, "Dan Licata" notifications@github.com wrote:

OK, that makes sense, but then I think that "a few of them contributed
much more, and deserve to be recognized" is misleading: it makes it sound
like these people contributed much more to the project/program, when I
think we mean they contributed more to the book specifically.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/140#issuecomment-16528420
.

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

[andrejbauer]

Also, how ambiguous do we want to be about who the authors of the book are? This is in fact an ambiguous point.
I thought we agreed at some point we would ask everyone to classify themselves as "author" or "not-so-much-author". Whatever happened to that idea? Would it work at all?

[mikeshulman]

I think if we are going to list all the participants in the program,
rather than just the authors of the book, then it makes sense to separate
people who were here for a long time from people who were only here for a
week or two. That's maybe a blurry line, but it's a real thing, not just a
bureaucratic technicality.
On Apr 17, 2013 3:49 PM, "Robert Harper" notifications@github.com wrote:

i agree. i think that the preface to the book is necessarily about the
book itself, not about the project that gave rise to it. if we wish to
write about the project as a social process, that can/should be done
elsewhere. for this reason i think that the preface should simply list the
participants, and not separate them into "members" and "visitors", which is
an administrative distinction to do with the ias itself and how it runs
these programs. if we then want to single out people for special
recognition on the preparation of the book, i think that' s great, but it
should be about the book.

bob

On Apr 17, 2013, at 3:41 PM, Mike Shulman wrote:

Yeah, Dan is right.
On Apr 17, 2013 3:25 PM, "Dan Licata" notifications@github.com wrote:

OK, that makes sense, but then I think that "a few of them contributed
much more, and deserve to be recognized" is misleading: it makes it
sound
like these people contributed much more to the project/program, when
I
think we mean they contributed more to the book specifically.

—
Reply to this email directly or view it on GitHub<
https://github.com/HoTT/book/issues/140#issuecomment-16528420>
.

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

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/140#issuecomment-16531566
.

[DanGrayson]

I'd like to demote myself from contributing "much more" to contributing
"something or other" (to the book).

On Wed, Apr 17, 2013 at 3:07 PM, Andrej Bauer notifications@github.comwrote:

Also, how ambiguous do we want to be about who the authors of the book
are? This is in fact an ambiguous point.
I thought we agreed at some point we would ask everyone to classify
themselves as "author" or "not-so-much-author". Whatever happened to that
idea? Would it work at all?

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/140#issuecomment-16532423
.

[andrejbauer]

Github logs show otherwise, Dan.

[cangiuli]

I think Steve has definitively clarified this in 42e6cbc