圏論は言葉遊びしてるようにしか見えない。