>>923
>層って何の一般化なの?

多価関数の一般化といっていいのではないだろうか