 Category of elements

The category of elements of a set-valued functor has pairs $(A,x)$ as objects and arrows whose functorial action carries one distinguished element to the other. Its projection to the indexing category is a discrete opfibration or fibration according to variance.