>>676
射の中で恒等射が対象と同一視できるのははなから自明なので冗長だと思うのです。圏を「必ずしも至るところで定義されているとは限らない結合算法を持つ代数系」とするほうが素直で直接的な気がします。