We build an endofunctor in the category of small categories along with the necessary structure on it to turn it into a path object suitable for homotopy theory and modelling identity types in Martin-L ̈of type theory. We construct the free Grothendieck bifibration over a base category generated by an arbitrary functor to that category.