「圏論的指数の周辺：ラムダ計算、デカルト閉圏、ノイマン型コンピュータ」にて： 背景の説明に労力を使って疲れたので、Exerciseの解は示しません（今日のところは）。 解を示します、明白・露骨・丁寧に。問題の記述次の図式を便宜上Dとおきます。idAを単…