本来だったら矛盾が起こるようなことを、活用できないかと考えたが
結局、従来の種の理論と圏論の範囲でおさまったんじゃないの