有向グラフ
directed graph
頂点
と、向きをもつ
辺
からなる
graph
定義
組
$ \mathcal{I}=(I,(J(i,i'))_{i,i'\in I} )
のこと
集合
$ I
$ I\times I
により添字付けられた集合族
$ (J(i,i'))_{i,i'\in I}
$ I
の元を
頂点
と呼び
$ J(i,i')
の元のことを、
$ i
から
$ i'
へ向かう
辺
と呼ぶ
有向グラフのパスの圏