関係する過去記事。 前層のチェック列 - (新) 檜山正幸のキマイラ飼育記 メモ編 前層と主バンドルの例 - (新) 檜山正幸のキマイラ飼育記 メモ編 接続付きG-バンドルと亜群の表現 - (新) 檜山正幸のキマイラ飼育記 メモ編 多様体関連の雑多（だが重要） - (新…

位相空間の離散位相と同様に、任意の圏に自明グロタンディーク位相が入る（https://ncatlab.org/nlab/show/trivial+topology）。自明グロタンディーク位相が入った圏を離散サイトと呼ぶ。すると、前層と層の区別をする必要がない。あらゆる前層は層とみなせ…