定義
C を圏とする。
各 Hom(X, Y) が零射(>>589)を含むとき C を基点をもつ圏と呼ぶ。