>>293
何を言ってるんだ？
群論の公理付けは圏論の整備よりずっと前だろ。