free categories viewed from a constructivist viewpoint

Hello, Let G be a directed graph that either has an infinite # of nodes or has edges which are loops. Would a constructist recognize the existence of G's free category? Thank you, Bill Halchin