公理的圏論ねぇかなぁ〜