The Stacks project

4.17 Cofinal and initial categories

In the literature sometimes the word “final” is used instead of cofinal in the following definition.

Definition 4.17.1. Let $H : \mathcal{I} \to \mathcal{J}$ be a functor between categories. We say $\mathcal{I}$ is cofinal in $\mathcal{J}$ or that $H$ is cofinal if

  1. for all $y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{J})$ there exist an $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})$ and a morphism $y \to H(x)$, and

  2. given $y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{J})$, $x, x' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})$ and morphisms $y \to H(x)$ and $y \to H(x')$ there exist a sequence of morphisms

    \[ x = x_0 \leftarrow x_1 \rightarrow x_2 \leftarrow x_3 \rightarrow \ldots \rightarrow x_{2n} = x' \]

    in $\mathcal{I}$ and morphisms $y \to H(x_ i)$ in $\mathcal{J}$ such that the diagrams

    \[ \xymatrix{ & y \ar[ld] \ar[d] \ar[rd] \\ H(x_{2k}) & H(x_{2k + 1}) \ar[l] \ar[r] & H(x_{2k + 2}) } \]

    commute for $k = 0, \ldots , n - 1$.

Lemma 4.17.2. Let $H : \mathcal{I} \to \mathcal{J}$ be a functor of categories. Assume $\mathcal{I}$ is cofinal in $\mathcal{J}$. Then for every diagram $M : \mathcal{J} \to \mathcal{C}$ we have a canonical isomorphism

\[ \mathop{\mathrm{colim}}\nolimits _\mathcal {I} M \circ H = \mathop{\mathrm{colim}}\nolimits _\mathcal {J} M \]

if either side exists.

Proof. Omitted. $\square$

Definition 4.17.3. Let $H : \mathcal{I} \to \mathcal{J}$ be a functor between categories. We say $\mathcal{I}$ is initial in $\mathcal{J}$ or that $H$ is initial if

  1. for all $y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{J})$ there exist an $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})$ and a morphism $H(x) \to y$,

  2. for any $y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{J})$, $x , x' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})$ and morphisms $H(x) \to y$, $H(x') \to y$ in $\mathcal{J}$ there exist a sequence of morphisms

    \[ x = x_0 \leftarrow x_1 \rightarrow x_2 \leftarrow x_3 \rightarrow \ldots \rightarrow x_{2n} = x' \]

    in $\mathcal{I}$ and morphisms $H(x_ i) \to y$ in $\mathcal{J}$ such that the diagrams

    \[ \xymatrix{ H(x_{2k}) \ar[rd] & H(x_{2k + 1}) \ar[l] \ar[r] \ar[d] & H(x_{2k + 2}) \ar[ld] \\ & y } \]

    commute for $k = 0, \ldots , n - 1$.

This is just the dual notion to “cofinal” functors.

Lemma 4.17.4. Let $H : \mathcal{I} \to \mathcal{J}$ be a functor of categories. Assume $\mathcal{I}$ is initial in $\mathcal{J}$. Then for every diagram $M : \mathcal{J} \to \mathcal{C}$ we have a canonical isomorphism

\[ \mathop{\mathrm{lim}}\nolimits _\mathcal {I} M \circ H = \mathop{\mathrm{lim}}\nolimits _\mathcal {J} M \]

if either side exists.

Proof. Omitted. $\square$

Lemma 4.17.5. Let $F : \mathcal{I} \to \mathcal{I}'$ be a functor. Assume

  1. the fibre categories (see Definition 4.32.2) of $\mathcal{I}$ over $\mathcal{I}'$ are all connected, and

  2. for every morphism $\alpha ' : x' \to y'$ in $\mathcal{I}'$ there exists a morphism $\alpha : x \to y$ in $\mathcal{I}$ such that $F(\alpha ) = \alpha '$.

Then for every diagram $M : \mathcal{I}' \to \mathcal{C}$ the colimit $\mathop{\mathrm{colim}}\nolimits _\mathcal {I} M \circ F$ exists if and only if $\mathop{\mathrm{colim}}\nolimits _{\mathcal{I}'} M$ exists and if so these colimits agree.

Proof. One can prove this by showing that $\mathcal{I}$ is cofinal in $\mathcal{I}'$ and applying Lemma 4.17.2. But we can also prove it directly as follows. It suffices to show that for any object $T$ of $\mathcal{C}$ we have

\[ \mathop{\mathrm{lim}}\nolimits _{\mathcal{I}^{opp}} \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(M_{F(i)}, T) = \mathop{\mathrm{lim}}\nolimits _{(\mathcal{I}')^{opp}} \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(M_{i'}, T) \]

If $(g_{i'})_{i' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I}')}$ is an element of the right hand side, then setting $f_ i = g_{F(i)}$ we obtain an element $(f_ i)_{i \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})}$ of the left hand side. Conversely, let $(f_ i)_{i \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})}$ be an element of the left hand side. Note that on each (connected) fibre category $\mathcal{I}_{i'}$ the functor $M \circ F$ is constant with value $M_{i'}$. Hence the morphisms $f_ i$ for $i \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})$ with $F(i) = i'$ are all the same and determine a well defined morphism $g_{i'} : M_{i'} \to T$. By assumption (2) the collection $(g_{i'})_{i' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{I}')}$ defines an element of the right hand side. $\square$

Lemma 4.17.6. Let $\mathcal{I}$ and $\mathcal{J}$ be a categories and denote $p : \mathcal{I} \times \mathcal{J} \to \mathcal{J}$ the projection. If $\mathcal{I}$ is connected, then for a diagram $M : \mathcal{J} \to \mathcal{C}$ the colimit $\mathop{\mathrm{colim}}\nolimits _\mathcal {J} M$ exists if and only if $\mathop{\mathrm{colim}}\nolimits _{\mathcal{I} \times \mathcal{J}} M \circ p$ exists and if so these colimits are equal.

Proof. This is a special case of Lemma 4.17.5. $\square$


Comments (3)

Comment #7095 by Elías Guisado on

I think there is some imprecision in the definition of a (co)final functor. I guess it would be nice if 4.17.1 clarified that in the zig-zag of morphisms it does not actually matter whether the first or last arrow go to the right or to the left. If not, I think the definition would be wrong. Let me explain: I'm going to spell out the definition for a cofinal functor from Kashiwara-Schapira, https://www.maths.ed.ac.uk/~v1ranick/papers/kashiwara2.pdf (in Proposition 2.5.2 of this text they prove 4.17.2). To explain it, some previous definitions must be introduced:

According to the definition on p. 13 of the linked text, a category is connected if it is non-empty and for every pair of objects , there is a sequence of objects in such that at least one of or is non-empty for all .

As it is written on Definition 1.2.16 of this same text, given a functor and an object , we denote the category where: * objects are pairs , where is an object in and is a morphism in , and * a morphism is a morphism in such that .

Now, according to Definition 2.5.1 of same text, a functor is said to be cofinal if the category is connected for every object .

I think the definition of Kashiwara-Schapira for a cofinal functor is different from 4.17.1. Indeed: let be the free category generated by the quiver modded out by the relations , for , and let be the full subcategory . Then the inclusion is cofinal according to definition 2.5.1 of Kashiwara-Schapira but is is not according to Definition 4.17.1, if we were to interpet literally that the only allowable zig-zag of morphisms in 4.17.1 must be of the form , with the first arrow to the left and the last one to the right.

Comment #7096 by Elías Guisado on

And the analogous correction should be made in 4.17.3: on same definition of Kashiwara-Schapira, Definition 2.5.1, this concept is given as "A functor is co-cofinal if is cofinal". So again, in the zig-zag , it should not matter the orientation of the first and last morphisms.

Comment #7098 by on

@#7095 and #7096. Everything is fine, see the discussion on Definition 4.17.1.

Please everybody: 1. If you comment on a specific tag, then please comment on the page of that tag! 2. If you have a comment, please look at all the pages of all the tags relevant to your question to see if there already has been a comment about the question you are asking!


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09WN. Beware of the difference between the letter 'O' and the digit '0'.