twitterの狭い所で同一視が話題になってたけど、
「同型な対象は区別不能」みたいな誤った言明や、
多様体の定義が複数あるということを根拠に「多様体の圏はup to equivalenceでしか定義されていない」という誤った主張が行われることが珍しくないらしいな
少なくとも外から見ている限り、テレンス・タオやペーター・ショルツはこういう間違った考えを「持っていない」側に見える