Per's bike

[Steve Awodey]

maybe this is what Andre' has in mind?

[Andrej Bauer]

Maybe, but not this particular picture. It's the wrong angle, the institute should be visible at the very least.

Does Andre know that we already have a cover?

[Steve Awodey]

I will let him say for himself whether he likes the current cover.

On Apr 11, 2013, at 7:05 PM, Andrej Bauer <andrej...@andrej.com> wrote:

Maybe, but not this particular picture. It's the wrong angle, the institute should be visible at the very least.

Does Andre know that we already have a cover?

--
You received this message because you are subscribed to the Google Groups "IAS Univalent Foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to univalent-founda...@googlegroups.com.
To post to this group, send email to univalent-...@googlegroups.com.
Visit this group at http://groups.google.com/group/univalent-foundations?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Joyal, André]

Dear Andrej,

I knew that a cover with flames had been proposed.
I think we should be open to alternatives.

I find the picture of Per's bike leaning on the gigantic oak
in the back of Fuld Hall beautiful and inspiring.
I like the contrast between the man-made machine
and the living creature represented by the tree.

I hope you like it too.


Best,
André

[Michael Shulman]

The picture of the bicycle is pretty, but my reaction on seeing it on the cover of the HoTT book would be 'huh? What does that have to do with math?'

[Michael Shulman]

To be clear: I'm fine with the bicycle if everyone else likes it. I'm just saying I find it a bit distracting. Not as bad as the brain in a jar though. If I were designing a cover I would probably pick a solid color, like most math books. The flames were nice and simple.

[Guillaume Brunerie]

I prefer the flames too.

Guillaume

[Altenkirch Thorsten]

I think this is a bit too clever – and nobody else would get the insider joke that it is actually Martin-Loef's bike.

The flames are a bit of an insider joke too (HoTT = flames).

The brain was good, it made the book stuck out and there were lots of funny interpretations of it.

Why does this book has to be "like most math books"? 

Thorsten

[Michael Shulman]

I think the inside of this book is radical enough, without gratuitously making the outside of it also weirder than necessary. The flames are at least fairly abstract, and hence not confusing even if you don't know the pun.

[Steve Awodey]

the flames have been interpreted by some to signify burning our bridges -- i.e. burning up all previous foundations, like ZFC.

just saying …

[Michael Shulman]

A nice solid color would have no unfortunate implications or any potential for confusion.

[Michael A Warren]

Can't someone just photoshop some flames onto Per's bike?  I reckon then we're peachy keen.

[Andrej Bauer]

Anyone who would like a different cover is welcome to make one. I don't think I will be making four of them, I already made three.

On Fri, Apr 12, 2013 at 3:03 PM, Steve Awodey <awo...@cmu.edu> wrote:

how about several of these images and/or similar:

[Steve Awodey]

fair enough.

<bike01f.jpg><dandi.jpg><mush.jpg>

[Dana Scott]

On Apr 12, 2013, at 6:40 AM, Steve Awodey <awo...@cmu.edu> wrote:

> fair enough.
>
> On Apr 12, 2013, at 9:39 AM, Andrej Bauer <andrej...@andrej.com> wrote:
>
>> Anyone who would like a different cover is welcome to make one.
>> I don't think I will be making four of them, I already made three.

My opinion does not matter, but I loved the "Brain in a vat"!

[Joyal, André]

Dear collegues,

I very much enjoyed watching the story of silicon valley:

http://video.pbs.org/video/2332168287

You may enjoy it too (in case you have not seen it).

André

Niels Bohr Quote:
Prediction is very difficult, especially about the future.