6.1. Cocartesian fibrations [0015]

Cocartesian fibrations are a dual notion to cartesian fibrations, in which the variance of indexing is reversed.

[0016] Definition 6.1·a (Cocartesian morphism).

Let $E$ be displayed over $B$, and let $f:x\to y \in B$; a morphism $\bar{f}:\bar{x}\to\Sub{f} \bar{y}$ in $E$ is called cocartesian over $f$ when for any $m:y\to u$ and $\bar{h}:\bar{x}\to\Sub{f;m} \bar{u}$ there exists a unique $\bar{m} : \bar{y}\to\Sub{m} \bar{u}$ with $\bar{f};\bar{m} = \bar{h}$:

We use a “pushout corner” to indicate $\bar{x}\to\bar{y}$ as a cocartesian morphism, a notation justified by Section 6.1.3 [0019].

[0017] Definition 6.1·b (Cocartesian fibration).

A displayed category $E$ over $B$ is a cocartesian fibration when for each $f : x \to y\in B$ and $\bar{x}\in E\Sub{x}$, there exists a displayed object $\bar{y}\in E\Sub{y}$ and a cocartesian morphism $\bar{f} : \bar{x}\to\Sub{f} \bar{y}$.

Remark. These are also known as opfibrations.

6.1.1. The total opposite of a displayed category [0018]

[001I] Construction 6.1.1·a.

Let $E$ be displayed over $B$; we define its total opposite $\TotOpCat{E}$ displayed over $\OpCat{B}$ as follows:

  1. An object of $\TotOpCat{E}\Sub{x}$ is given by an object of $E\Sub{x}$.

  2. Given $f : x \to y\in \OpCat{B}$, a displayed morphism $\bar{x}\to\Sub{f} \bar{y}$ in $\TotOpCat{E}$ is given by a displayed morphism $\bar{y}\to\Sub{f} \bar{x}$ in $E$.

Warning. Do not confuse this construction with Construction 2.6·a [001Z], which produces a displayed category over $B$ and not $\OpCat{B}$.

[001J] Exercise 6.1.1·b.

Let $E$ be displayed over $B$. Prove that the total category (Section 3.1 [000A]) $\TotCat{\TotOpCat{E}}$ is $\OpCat{\prn{\TotCat{E}}}$, and its projection functor is $\OpCat{\prn{p\Sub{E}}} : \OpCat{\TotCat{E}}\to\OpCat{B}$.

[001K] Exercise 6.1.1·c.

Let $E$ be displayed over $B$, and let $f:x\to y\in B$. Prove that a morphism $\bar{f}:\bar{x}\to\Sub{f}\bar{y}$ is cartesian over $f$ in $E$ if and only if $\bar{f}:\bar{y}\to\Sub{f}\bar{x}$ is cocartesian over $f$ in $\TotOpCat{E}$.

[001L] Exercise 6.1.1·d.

Prove that a displayed category $E$ is a cartesian fibration over $B$ if and only if $\TotOpCat{E}$ is a cocartesian fibration over $\OpCat{B}$.

6.1.2. Example: Revisiting the canonical self-indexing [002X]

Recall that the canonical self-indexing $\SelfIx{B}$ (Construction 2.1·a [001X]) of a category $B$ is a displayed category with $\SelfIx{B}\Sub{x} = \Sl{B}{x}$. As discussed in Exercise 2.1·b [001Y], $\SelfIx{B}$ is a cartesian fibration over $B$ if and only if $B$ has pullbacks. However, $\SelfIx{B}$ is unconditionally a cocartesian fibration.

[002Y] Exercise 6.1.2·a.

Prove that $\SelfIx{B}$ from [001X] is a cocartesian fibration for any category $B$.

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

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

[002Z] Construction 6.1.3·a.

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

  1. 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})$.
  2. For $f : x\to y\in B$, define $\overline{B}\Sub{f}$ to be the collection of commuting squares in the following configuration:
[001M] Exercise 6.1.3·b.

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

[001N] Exercise 6.1.3·c.

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.

[0030] Exercise 6.1.3·d.

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