圏

定義

圏Cは以下からなる

対象のクラス ob(C)

対象の間の射のクラス hom(C)

始域と終域と呼ばれる対象が付随する

f は a からbの射である、という

射の合成：任意の３対象a,b,cに対して、f:a->b g:b->cの射に対して g・f が存在する

さらに、以下の公理を満足する

結合律

単位律