九つの射でできたこの圏
0→・
↓ ↓
・→1
の名前ってある?
0がイニシャル、1がファイナル。