Fibrations of graphs (Q5957696)

A fibration of graphs is a morphism that is a local ismorphism of in-neighbourhoods, much in the same way a covering projection is a local isomorphism of neighbourhoods. The authors develop systematically the theory of graph fibrations, with a special emphasis on results related to some applications in computer science. In particular, they pay attention to the mutual relations between fibrations, group actions, and categorial constructions. A lot of open problems were also presented.