圏論で扱う図式はグラフだから、グラフ理論は圏論のサブセット