マスログ｜数学・統計・AIをわかりやすく解説するメディア

論理システム

• 

  圏論とは｜対象・射・関手の基本用語と論理との対応をやさしく解説

  檜山正幸先生による圏論とカリー・ハワード対応の入門記事です。古典論理から記号を絞った連言含意論理を、集合と関数の世界（集合圏）で読み替えても計算や証明がそのまま通用することを示し、デカルト閉圏や型付きラムダ計算とのつながりを紹介します。

  2020年6月17日

  • 大学数学
  • 数学の学び直し