最近、前層／層〈presheaf/sheaf〉の話をしました。 層に関してちょっと 層に関してちょっと 2： 層化 前層というのは、Open(X)→C という関手です。位相空間Xの開集合の圏Open(X)は、要は順序集合です。順序集合からのC値関手ということなら、いくらでも例が…