theHigherGeometer @HigherGeometer
4月26日

@DupuyTaylor what do you think?

どう思う？

Taylor Dupuy @DupuyTaylor
4月26日

Meh

ええ

Taylor Dupuy @DupuyTaylor
4月26日

I don’t think it matters too much.
You can just work with fundamental groups up to outer automorphisms.
Maybe there is a correct fancy way to do this.
That probably has to do with like etale Homotopy types or something.
Idk.

それほど重要ではないと思います。
基本的なグループから外側の自己同型まで使用できます。
たぶん、これを行うための正しい空想的な方法があるでしょう。
それは恐らく昔のホモトピー型か何かに関係しています。
分からないけど。

*Idk=I don't know