集合を対象とし
写像を射とする圏において
両側可逆な射を全単射と呼ぶ