>>555
圏の公理に各Hom setが空か単元かという制約を加える