基礎論屋と圏論屋は出ていけ。
気色悪い。