Mathematics in type theory 日本語訳 - Mathematics in type theory 日本語訳Mathematics in type thoery 日本語訳 原文は Kevin Buzzard 氏によるブログ記事 Mathematics in type theory. です． この翻訳について この翻訳は有志による非公式翻訳です．翻訳に際して，表現を大きく変えた箇所があります． また, 用語の訳が一般的でない可能性があります．誤りを含む可能性もあります．ご了承ください． また，原文のブログ記事が 2020 年のものであるため，一部記載している事項が現在とは異なる可能性があります． 誤字脱字，内容の誤りの指摘，翻訳の改善の提案を歓迎いたします． この日本語版のGitHubリポジトリまでお寄せください． 翻訳に際して，機械翻訳サービスDeepL翻訳を参考にしました．
