圏の公理
結合律
単位律