$$\newcommand{A}[0]{\mathbb{A}}
\newcommand{abs}[1]{\lvert#1\rvert}
\newcommand{Algs}[0]{{\rm Algs}}
\newcommand{Art}[0]{{\rm Art}}
\newcommand{Aut}[0]{Aut}
\newcommand{B}[0]{\mathbb{B}}
\newcommand{bB}[0]{\mathbf{B}}
\newcommand{bH}[0]{\mathbf{H}}
\newcommand{Br}[0]{\mathrm{Br}}
\newcommand{C}[0]{\mathbb{C}}
\newcommand{cF}[0]{\mathcal{F}}
\newcommand{cG}[0]{\mathcal{G}}
\newcommand{cH}[0]{\mathcal{H}}
\newcommand{cI}[0]{\mathcal{I}}
\newcommand{cJ}[0]{\mathcal{J}}
\newcommand{colim}[0]{colim}
\newcommand{Cone}[0]{{\rm Cone}}
\newcommand{Conj}[0]{{\rm Conj}}
\newcommand{dimtot}[0]{{\rm dimtot}}
\newcommand{End}[0]{End}
\newcommand{Ext}[0]{{\rm Ext}}
\newcommand{F}[0]{\mathbb{F}}
\newcommand{fa}[0]{\mathfrak{a}}
\newcommand{fb}[0]{\mathfrak{b}}
\newcommand{fg}[0]{\mathfrak{g}}
\newcommand{fh}[0]{\mathfrak{h}}
\newcommand{Frob}[0]{\mathrm{Frob}}
\newcommand{Fun}[0]{Fun}
\newcommand{fZ}[0]{\mathfrak{Z}}
\newcommand{G}[0]{\mathbb{G}}
\newcommand{Gal}[0]{{\rm Gal}}
\newcommand{GL}[0]{GL}
\newcommand{Gm}[0]{\mathbb{G}m}
\newcommand{grad}[0]{grad}
\newcommand{Hom}[0]{Hom}
\newcommand{id}[0]{\mathrm{id}}
\newcommand{im}[0]{im}
\newcommand{Ind}[0]{Ind}
\newcommand{inpr}[1]{\langle #1 \rangle}
\newcommand{inv}[0]{\mathrm{inv}}
\newcommand{leng}[0]{{\rm leng}}
\newcommand{li}[0]{{\rm li}}
\newcommand{Monoids}[0]{{\rm Monoids}}
\newcommand{N}[0]{\mathbb{N}}
\newcommand{norm}[1]{\lvert\lvert#1\rvert\rvert}
\newcommand{Ob}[0]{{\rm Ob}}
\newcommand{ord}[0]{{\rm ord}}
\newcommand{p}[0]{\mathfrak{p}}
\newcommand{Posets}[0]{{\rm Posets}}
\newcommand{pr}[0]{{\rm pr}}
\newcommand{Prim}[0]{{\rm Prim}}
\newcommand{Proj}[0]{\mathbb{P}}
\newcommand{Q}[0]{\mathbb{Q}}
\newcommand{quat}[3]{\left(\frac{#1,#2}{#3}\right)}
\newcommand{R}[0]{\mathbb{R}}
\newcommand{rank}[0]{\mathrm{rank}}
\newcommand{rec}[0]{\mathrm{rec}}
\newcommand{Res}[0]{Res}
\newcommand{res}[0]{\mathrm{res}}
\newcommand{sB}[0]{\mathscr{B}}
\newcommand{Sch}[0]{Sch}
\newcommand{Set}[0]{{\rm Set}}
\newcommand{Sets}[0]{{\rm Set}}
\newcommand{SL}[0]{SL}
\newcommand{SO}[0]{SO}
\newcommand{spa}[1]{{\rm Spa}(#1)}
\newcommand{Spec}[0]{\mathrm{Spec}}
\newcommand{spf}[1]{{\rm Spf}(#1)}
\newcommand{Sw}[0]{{\rm Sw}}
\newcommand{Tr}[0]{Tr}
\newcommand{tr}[0]{\mathrm{tr}}
\newcommand{trace}[0]{trace}
\newcommand{vect}[1]{\overrightarrow{#1}}
\newcommand{Vect}[0]{{\rm Vect}}
\newcommand{Vir}[0]{Vir}
\newcommand{vol}[0]{\mathrm{vol}}
\newcommand{Xb}[0]{\overline{X}}
\newcommand{Z}[0]{\mathbb{Z}}
$$
圏論のいくつかの概念について、有向グラフの圏を通して学んでいこうというシリーズになる予定です。
有向グラフの定義
では有向グラフという概念の定義とその基本的な例を説明しています。
有向グラフの射
では、二つの有向グラフを結びつける概念として有向グラフの射というものを説明しています。これはグラフ準同型と呼ばれることも多いです。
続きをご期待ください。