因数分解

因数分解というと、(直)積が定義できるCCCの話を連想してしまう。上記のゲーデルと20世紀の論理学 3 不完全性定理と算術の体系でも、第Ⅲ部ではゲーデルのダイアレクティカのアイデアをカテゴリーにしたダイアレクティカ圏の話が出てくる。
数学の素人だからこそ、こういう無責任な連想は楽しい。