デカルト圏の理解が少し進んだので、ここでメモ：関連： Kozen圏 - 檜山正幸のキマイラ飼育記 メモ編 さまざまな構造と圏の関係 - 檜山正幸のキマイラ飼育記 メモ編 コォゼン圏（Kozen圏） 再び - 檜山正幸のキマイラ飼育記 メモ編 Kozen圏みたび - 檜山正幸…

セリンガーが、「対角を持つ圏に、複製可能性と破棄可能性を入れたらデカルト圏だ」と言っていた。「そんなことはフォークロアだ」とも。が、僕はどうしていいものか方針が掴めなかった。ランベックの定式化（演繹系としてのデカルト圏）をあいだにはさむと…