群の圏
群の圏 Grp において完全系列の概念が意味を成し、アーベル圏論におけるいくつかの結果、例えば9項補題や5項補題およびそれらの帰結が Grp において成立する。他方、蛇の補題は Grp では成り立たない。