従来の定義は習慣上仕方ないのでそのままにしておいて、
圏の定義から結合則をはずしたものを”非結合的な圏”
（”nonassociative category”）と呼ぶことにすると、
群が圏とみなせるようにマグマも”非結合的な圏”と
みなせます。もし数学において、マグマの概念が有用な
ものならば、”非結合的な圏”の考えも有効と思います。