群''G''をただ一つの対象からなる圏と見なすとき''G''上の前層の圏と''G''が作用する集合の圏B''G''とは同一視される.
群''