>>242
別に同一視する時に射をわざわざ定義しないことなんていくらでもある
それが適切かどうかは文脈によるとしか言い様がない
しかもIUTの場合は単なる用語の混同というより、同型にならない空間を区別したい
所で本当にそれができているのかどうかが
問題になっているので、そこを
完全にはっきりさせることは外部者を入れたプロジェクトでは難しくないと思われる