underlying functor

3.1.10 Example If you forget [that] you can compose arrows in a category and you forget which arrows are the identities, then you have remembered only that the category is a graph. This gives an underlying functor U: mathbf Cat→ mathbf Grf, since every functor is a graph homomorphism although not vice versa.