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:

- https://mathoverflow.net/questions/78400/do-we-still-need-model-categories
- https://mathoverflow.net/questions/287091/why-do-we-need-model-categories
- https://mathoverflow.net/questions/322808/is-the-infty-category-of-spectra-convenient
- https://mathoverflow.net/questions/322832/do-we-still-need-models-of-spectra-other-than-the-infty-category-mathrmsp

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.

]]>