層 (数学)
Xを位相空間とする。一点集合が定めるX上の定数層はO(X)上Xによって表現される関手yX = HomO(X)(-, X)だと見なすことができる。より一般にyXの部分層とXの開集合の間に自然な対応があり、X上の層からXの開集合たちとその間の包含関係を復元できることがわかる。簡素な空間 (sober space) と呼ばれるクラスの分離空間についてはその開集合系からもとの空間と位相同型な位相空間を得ることができる。このことから層は位相空間の圏論的・「代数/組み合わせ」的な言い換えを与えているとも考えられる。