#### 6.1.3. Example: The dual self-indexing [0019]

Dually to the fundamental self-indexing (Construction 2.1·a [001X]), every category $B$ can
also be displayed over itself via its *coslices* $\CoSl{x}{B}$.

Let $B$ be a category. Define the displayed category $\overline{B}$ over $B$ as follows:

- For $x\in B$, define $\overline{B}\Sub{x}$ as the collection of pairs $(\bar{x}\in B,p\Sub{x}:x\to\bar{x})$.
- For $f : x\to y\in B$, define $\overline{B}\Sub{f}$ to be the collection of commuting squares in the following configuration:

Prove that $\overline{B}$ is a cocartesian fibration if and only if $B$ has pushouts.

Prove that the total category (Section 3.1 [000A]) of $\overline{B}$ is the
arrow category $B^{\to}$, and the projection is the *domain* functor.

Prove that $\overline{B}$ is a cartesian fibration for any category $B$.