I think it would be a great idea.
]]>Would certainly make sense!
]]>Every once in a while, there is a question on MathOverflow that generates discussions about various aspects of homotopy theory, such as model categories vs quasicategories, (∞,1)-categories, model-independence, necessity of strict models for spectra etc.
Some examples include:
Obviously, such topics still generate a lot of interest. (The last two questions were asked just recently, and generated some fierce debates. I did not expect, for example, to see such a reaction to (what I thought) was rather innocent statement of various facts in my answer for the last question.)
I was wondering if it makes sense to assemble a homotopy theory FAQ, analogous to the string theory FAQ, which would address such questions in a single place, as opposed to being spread out over various MathOverflow question.
]]>