Anders Mörtberg

この記事では、ホモトピー型理論を使ったコホモロジーの新しい進展について話してるよ。

ホモトピー型理論が集合や型の見方をどう変えるかを発見しよう。