本文基于范畴理论,主要研究了有向图和其对应的无向图(简称为图)在不同同伦等价意义下基本群之间的关系,证明了覆盖映射所诱导的覆盖图和底图的基本群之间的同态是单同态.设G是连通有向图,G是G的万有覆盖,覆盖映射为p.我们证明了G的覆盖转化群D(G,p)同构于G在C-同伦意义下的基本群.