>>473
自然変換というのに意味はないって。
階層が違う概念だよ、それは。

>>252 の言わんとしてることは全て圏同値で説明できる。
ただ、本人はそれを認めないだろうが。