ホモトピー型理論

ホモトピー型理論 (Homotopy Type Theory, HoTT) を日本語で解説する文書です。

準備

適当にRacketをインストールします。

MOrgをインストールします。

raco pkg install https://github.com/uemurax/morg

latexmkとluatexjaが要ります。足りないパッケージがあればaction.ymlを参考にします。

makeを実行するとHTML版とPDF版を生成し_site/にコピーします。