Mathematics in type thoery 日本語訳

原文は Kevin Buzzard 氏によるブログ記事 Mathematics in type theory. です．

この翻訳について

この翻訳は有志による非公式翻訳です．翻訳に際して，表現を大きく変えた箇所があります． また, 用語の訳が一般的でない可能性があります．誤りを含む可能性もあります．ご了承ください．

また，原文のブログ記事が 2020 年のものであるため，一部記載している事項が現在とは異なる可能性があります．

誤字脱字，内容の誤りの指摘，翻訳の改善の提案を歓迎いたします． この日本語版のGitHubリポジトリまでお寄せください．

翻訳に際して，機械翻訳サービスDeepL翻訳を参考にしました．