>>761
だったら圏論があればいいじゃろ
グラフ理論なんて謎サブセット誰が喜ぶの?