離散サイト

位相空間の離散位相と同様に、任意の圏に自明グロタンディーク位相が入る(https://ncatlab.org/nlab/show/trivial+topology)。

自明グロタンディーク位相が入った圏を離散サイトと呼ぶ。すると、前層と層の区別をする必要がない。あらゆる前層は層とみなせる。