Contents

category theory

# Contents

## Definition

The slice category or over category $\mathbf{C}/c$ of a category $\mathbf{C}$ over an object $c \in \mathbf{C}$ has

• objects that are all arrows $f \in \mathbf{C}$ such that $cod(f) = c$, and

• morphisms $g: X \to X' \in \mathbf{C}$ from $f:X \to c$ to $f': X' \to c$ such that $f' \circ g = f$.

$C/c = \left\lbrace \array{ X &&\stackrel{g}{\to}&& X' \\ & {}_f \searrow && \swarrow_{f'} \\ && c } \right\rbrace$

The slice category is a special case of a comma category.

There is a forgetful functor $U_c: \mathbf{C}/c \to \mathbf{C}$ which maps an object $f:X \to c$ to its domain $X$ and a morphism $g: X \to X' \in \mathbf{C}/c$ (from $f:X \to c$ to $f': X' \to c$ such that $f' \circ g = f$) to the morphism $g: X \to X'$.

The dual notion is an under category.

## Examples

• If $\mathbf{C} = \mathbf{P}$ is a poset and $p \in \mathbf{P}$, then the slice category $\mathbf{P}/p$ is the down set $\downarrow (p)$ of elements $q \in \mathbf{P}$ with $q \leq p$.

• If $1$ is a terminal object in $\mathbf{C}$, then $\mathbf{C}/1$ is isomorphic to $\mathbf{C}$.

• For $X$ a topological space then the category of covering spaces over $X$ is a full subcategory of the slice category $Top_{/X}$ of the category of topological spaces.

## Properties

### Relation to codomain fibration

The assignment of overcategories $C/c$ to objects $c \in C$ extends to a functor

$C/(-) : C \to Cat$

Under the Grothendieck construction this functor corresponds to the codomain fibration

$cod : [I,C] \to C$

from the arrow category of $C$. (Note that unless $C$ has pullbacks, this functor is not actually a fibration, though it is always an opfibration.)

### Adjunctions on overcategories

###### Proposition

Let

$(L \dashv R) : D \stackrel{\overset{L}{\leftarrow}}{\underset{R}{\to}} C$

be a pair of adjoint functors, where the category $C$ has all pullbacks.

Then for every object $X \in C$ there is induced a pair of adjoint functors between the slice categories

$(L/X \dashv R/X) : D/(L X) \stackrel{\overset{L/X}{\leftarrow}}{\underset{R/X}{\to}} C/X$

where

• $L/X$ is the evident induced functor;

• $R/X$ is the composite

$R/X : D/{L X} \stackrel{R}{\to} C/{(R L X)} \stackrel{i_{X}^*}{\to} C/X$

of the evident functor induced by $R$ with the pullback along the $(L \dashv R)$-unit at $X$.

### Presheaves on over-categories and over-categories of presheaves

Let $C$ be a category, $c$ an object of $C$ and let $C/c$ be the over category of $C$ over $c$. Write $PSh(C/c) = [(C/c)^{op}, Set]$ for the category of presheaves on $C/c$ and write $PSh(C)/Y(c)$ for the over category of presheaves on $C$ over the presheaf $Y(c)$, where $Y : C \to PSh(c)$ is the Yoneda embedding.

###### Proposition

There is an equivalence of categories

$e : PSh(C/c) \stackrel{\simeq}{\to} PSh(C)/Y(c) \,.$
###### Proof

The functor $e$ takes $F \in PSh(C/c)$ to the presheaf $F' : d \mapsto \sqcup_{f \in C(d,c)} F(f)$ which is equipped with the natural transformation $\eta : F' \to Y(c)$ with component map $\eta_d \sqcup_{f \in C(d,c)} F(f) \to C(d,c)$.

A weak inverse of $e$ is given by the functor

$\bar e : PSh(C)/Y(c) \to PSh(C/c)$

which sends $\eta : F' \to Y(C))$ to $F \in PSh(C/c)$ given by

$F : (f : d \to c) \mapsto F'(d)|_c \,,$

where $F'(d)|_c$ is the pullback

$\array{ F'(d)|_c &\to& F'(d) \\ \downarrow && \downarrow^{\eta_d} \\ pt &\stackrel{f}{\to}& C(d,c) } \,.$
###### Example

Suppose the presheaf $F \in PSh(C/c)$ does not actually depend on the morphsims to $C$, i.e. suppose that it factors through the forgetful functor from the over category to $C$:

$F : (C/c)^{op} \to C^{op} \to Set \,.$

Then $F'(d) = \sqcup_{f \in C(d,c)} F(f) = \sqcup_{f \in C(d,c)} F(d) \simeq C(d,c) \times F(d)$ and hence $F ' = Y(c) \times F$ with respect to the closed monoidal structure on presheaves.

See also functors and comma categories.

For the analogous statement in (∞,1)-category theory see (∞,1)-category of (∞,1)-presheaves – Interaction with overcategories

### Limits and colimits

###### Proposition

A colimit in an over category is computed as a colimit in the underlying category.

Precisely: let $\mathcal{C}$ be a category, $t \in \mathcal{C}$ an object, and $\mathcal{C}/t$ the corresponding overcategory, and $p \colon \mathcal{C}/t \to \mathcal{C}$ the obvious projection.

Let $F \colon D \to \mathcal{C}/t$ be any functor. Then, if it exists, the colimit of $p \circ F$ in $\mathcal{C}$ is the image under $p$ of the colimit over $F$:

$p \big( \underset{\longrightarrow}{\lim} F \big) \;\simeq\; \underset{\longrightarrow}{\lim} (p \circ F)$

and $\underset{\longrightarrow}{\lim} F$ is uniquely characterized by $\underset{\longrightarrow}{\lim} (p \circ F)$ this way.

This statement, and its proof, is the formal dual to the corresponding statement for undercategories, see there.

###### Proposition

For $\mathcal{C}$ a category, $X \;\colon\; \mathcal{D} \longrightarrow \mathcal{C}$ a diagram, $\mathcal{C}_{/X}$ the comma category (the over-category if $\mathcal{D}$ is the point) and $F \;\colon\; K \to \mathcal{C}_{/X}$ a diagram in the comma category, then the limit $\underset{\leftarrow}{\lim} F$ in $\mathcal{C}_{/X}$ coincides with the limit $\underset{\leftarrow}{\lim} F/X$ in $\mathcal{C}$.

For a proof see at (∞,1)-limit here.

### Initial and terminal objects

As a special case of the above discussion of limits and colimits in a slice $\mathcal{C}_{/X}$ we obtain the following statement, which of course is also immediately checked explicitly.

###### Corollary
• If $\mathcal{C}$ has an initial object $\emptyset$, then $\mathcal{C}_{/X}$ has an initial object, given by $\langle \emptyset \to X\rangle$.

• The terminal object of $\mathcal{C}_{/X}$ is $\mathrm{id}_X$.

Last revised on August 25, 2020 at 00:51:43. See the history of this page for a list of all contributions to it.