圏

• 対象と射が存在する
• 任意の対象Xについて、恒等射${\mathrm{id}}_A:A\to A$が存在する
• 任意の射f, gについて、fの終域とgの始域が等しければ、合成射$g\circ f$が存在する
• $f\circ (g\circ h)=(f\circ g)\circ h$が成り立つ
• $i{d}_A\circ f=f=f\circ i{d}_B$が成り立つ
• いろいろな圏にまとめてある