A graph covering projection is a local graph homeomorphism. Certain partitions of the vertex set of the preimage graph induce a notion of “concreteness”. The concrete graph covering projections will be counted up to isomorphism.
1970-2025 CP (Manitoba, Canada) unless otherwise stated.