Hi,

Today, I have discovered that some (nice) members of this community do not like the word "synthetic" in the formula  "Synthetic Homotopy Theory" used in this group to name you know what.

My opinion is that people working is this area deserve an accepted name for this activity. So I consider that who finds this wording inadequate should either  argue HERE  and NOW, or shut down forever (on this precise topic!).

So?

andré