>>471
Functorから議論しても、ちょっと違うんじゃないの？
なぜなら、それではどこまでが自然でどこまでが自然でないかを示せない。
functorialityはオレが訳せば「機能性を持つこと」となるし。

難しい論文読みすぎちゃうと頭壊れちゃうんだろうけど、「自然」という概念と「定義」という概念が全く直交してるってことに気がつけばあまり関係ないって分かると思う。