Return to Revisions

My colleague Dylan answered first (I keep telling him not to spend too much time on this toy :) but I both agree and disagree with his Yes of course". The same words are used with different meanings and implications in the point-set and infinity category setting. So the word convenient'' has correspondingly different meanings! With the meaning of words in the infty category world, Yes means yes. But the heart of Lewis's argument is that in the point-set world the automorphisms of the unit object of a symmetric monoidal topological category give a point-set level commutative topological monoid. He argues that 1-5 imply that the unit component of $QS^0$ is equivalent to an honest commutative topological monoid, which would imply that it is equivalent to a product of Eilenberg-Moore spaces, which it is not. There is no corresponding contradiction in the infty category world. (Dylan, ok?)