自分としては、圏の定義から結合性をはずしてもいいと思います。
結合則を満たすような圏をあらためて「結合的な圏」と表現するのも
悪くはないです。ただ、いまさら定義を変えるわけにもいかない
習慣上の事情もありますから、そこがなかなか難しいとこですね。