>>981
そんなことあるやろ。

一個次元上げて、コンパクト化したら大抵の話はすむ。
何のための injective object ?

ZFC 上の集合の虚をついて、
数学的に意味のないロジックをだしてきてどうこうなんて、
普通の人は興味ない。
コンパクトでもないもの、そもそもどうやって、
普通の感覚で人間が肉眼で認識できるんや？