Axel Ljungström

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

新しい方法でHoTTのスミッシュ積の理解が簡単になるよ。

コンテナはプログラミングでデータ構造をより良く管理・整理するための形にするんだ。