>>443
つまり、あなたのおっしゃりたいことは、
なぜ、特別な関手　id と、D を持ってくるのか？
なぜ、id と D でなくては、いけないのか？
ということですか？