「層に関してちょっと」にもうちょっと付け足し。層ではない前層はいくらでもあります。どんな前層（関手）でも層（貼り合わせ可能関手）にしてしまう操作が層化です。前層を層化するには、いったん位相空間を作りますが、この位相空間がどうも分かりにくい…