定義
f：X → Y を圏 C における射とする。
f が全射かつ単射であるとき f を全単射(bimorphism)と言う。