2024-11-21から1日間の記事一覧

圏論のメモ

序論このメモは、自分自身に対して書いている。読者はラムダ計算の初歩的な知識がある者を想定しているが、それは私自身がそうだからである。数学の話をする前に、日常で出てくるたとえ話から始めよう。そのほうが圏論を理解しやすい。「東京」から「広島…