The dual fibration in elementary terms

We give an elementary construction of the dual fibration of a fibration. It does not use the non-elementary notion of (pseudo-) functor into the category of categories.