# nLab small object

### Context

#### Compact objects

objects $d\in C$ such that $C\left(d,-\right)$ commutes with certain colimits

# Small objects

## Definition

An object $X$ of a category is small if it is $\kappa$-compact for some regular cardinal $\kappa$ (and therefore also for all greater regular cardinals as well).

Here, $X$ is called $\kappa$-compact if the corepresentable functor $\mathrm{hom}\left(X,\cdot \right)$ preserves $\kappa$-directed colimits.

## Details

We unwrap the definition further. Let $J$ be a $\kappa$-filtered poset, i.e. one in which every sub-poset $J\prime \subset J$ of cardinality $\mid J\prime \mid <\kappa$ has an upper bound in $J$.

Let $C$ be a category and $F:J\to C$ a diagram, called a $\kappa$-filtered diagram. Let $X\in C$ be any object.

Then the condition that $X$ commutes with the colimit over $F$ means that the map of hom-sets

$\underset{{\to }^{j}}{\mathrm{lim}}{\mathrm{Hom}}_{C}\left(X,F\left(j\right)\right)\to {\mathrm{Hom}}_{C}\left(X,\underset{{\to }^{j}}{\mathrm{lim}}F\left(j\right)\right)$\lim_{\to^j} Hom_C(X, F(j)) \to Hom_C(X,\lim_{\to^j} F(j))

is not only an epimorphism (a surjection), which it is automatically as a coequalizer, but even an isomorphism, i.e. a bijection.

By the general properties of colimit (recalled at limits and colimits by example), the colimit

$\underset{{\to }^{j}}{\mathrm{lim}}{\mathrm{Hom}}_{C}\left(X,F\left(j\right)\right)$\lim_{\to^j} Hom_C(X,F(j))

may be expressed as a coequalizer

$\stackrel{\to }{\to }\coprod _{j\in J}{\mathrm{Hom}}_{C}\left(X,F\left(j\right)\right)\to \underset{{\to }^{j}}{\mathrm{lim}}{\mathrm{Hom}}_{C}\left(X,F\left(j\right)\right)$\stackrel{\to}{\to} \coprod_{j \in J} Hom_C(X,F(j)) \to \lim_{\to^j} Hom_C(X,F(j))

hence as a quotient set of the the set of morphism in $C$ from $X$ into one of the objects $F\left(j\right)$. Being a quotient set, every element of it is represented by one of the original elements in ${\coprod }_{j}{\mathrm{Hom}}_{C}\left(X,F\left(j\right)\right)$.

This means that we have

Restatement

The object $X$ commutes with the colimit over $F$ precisely if every morphism $X\to {\mathrm{lim}}_{\to }F$ lifts to a morphism $X\to F\left(j\right)$ into one of the $F\left(j\right)$, schematically:

$\begin{array}{ccccccccc}\cdots & \to & F\left(j-1\right)& \to & F\left(j\right)& \to & F\left(j+1\right)& \to & \cdots \\ & & & {}^{\exists \stackrel{^}{f}}↗& ↓& ↙\\ & & X& \stackrel{f}{\to }& \underset{\to }{\mathrm{lim}}F\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \cdots&\to&F(j-1) &\to& F(j) &\to& F(j+1) &\to& \cdots \\ &&&{}^{\mathllap{\exists \hat f}}\nearrow&\downarrow & \swarrow \\ &&X& \stackrel{f}{\to} &\lim_\to F } \,.

## Properties

Let $\lambda >\kappa$ be a regular cardinal greater than $\kappa$. Then any $\lambda$-filtered category $D$ is also $\kappa$-filtered. For being $\lambda$-filtered means that any diagram in $D$ of size $<\lambda$ has a cocone; but any diagram of size $<\kappa$ is of course also $<\lambda$. Thus, any $\lambda$-filtered colimit is also a $\kappa$-filtered colimit, so any functor which preserves $\kappa$-filtered colimits must in particular preserve $\lambda$-filtered colimits. It follows that any $\kappa$-presentable object is also $\lambda$-presentable.

## Examples and applications

Revised on September 13, 2012 23:41:06 by Urs Schreiber (89.204.137.26)