23/02/05 06:38:50.76 wVajbkib.net
>>205
圏論の言葉で言えば、
X の開集合系(これは包含関係に関する順序集合となる)T を圏と見なすとき、
X 上の前層とは
T から集合の圏への反変関手のこと
であるということができる。
また、可換群の(あるいは加群の)前層や環の前層は
T から可換群の圏や環の圏への反変関手のことであり、
同様にして
T から適当な圏 C への反変関手として
C に値を持つ前層が定義される。
二つの前層を関手と見なして、
その間の自然変換となるものを
前層の射または前層の準同型とよぶ。