>>287
圏論を知らずに群の公理系を設定した奴ってすげぇよな