22/05/03 16:48:07 ya/j8L/z.net
突っ込んだ基礎論はあまり関係ないんじゃないの？
どちらかといえば圏論のオーソドックスな部分だろ
HTを「宇宙」と呼ぶかどうかはあまり関係ないと思うぞ
ここでの問題は充満多重同型に由来した空間の区別とその自明でない分解ないし拡大が
正当かどうかだろう
22/05/03 16:48:07 ya/j8L/z.net
突っ込んだ基礎論はあまり関係ないんじゃないの？
どちらかといえば圏論のオーソドックスな部分だろ
HTを「宇宙」と呼ぶかどうかはあまり関係ないと思うぞ
ここでの問題は充満多重同型に由来した空間の区別とその自明でない分解ないし拡大が
正当かどうかだろう