有向グラフ
directed graph
有向グラフ
$ g = (v,e,s,t)
$ v
:
頂点
(
vertices
) の集合
$ e
:
辺
(
edges
) の集合
$ s,t\colon e→v
:矢元 (
source
) と矢先 (
target
)を得る写像
ref.icon
Steve Awodey. Category Theory
p.20