# nLab totally distributive category

Totally distributive categories

category theory

# Totally distributive categories

## Definition

Recall that a locally small category $\mathcal{K}$ is total if its Yoneda embedding $Y\colon\mathcal{K}\longrightarrow [\mathcal{K}^{op},Set]$ has a left adjoint $X$.

###### Definition

A total category $\mathcal{K}$ is totally distributive if $X \colon [\mathcal{K}^{op},Set] \longrightarrow \mathcal{K}$ has a further left adjoint $W$.

$(W \dashv X \dashv Y) \;\colon\; \mathcal{K} \stackrel{\overset{W}{\hookrightarrow}}{\stackrel{\overset{X}{\leftarrow}}{\underset{Y}{\hookrightarrow}}} PSh(\mathcal{K}) \,.$

## Properties

If $\mathcal{K}$ is totally distributive, then since $Y$ is fully faithful, then, by the properties of adjoint triples, so is $W$. Thus, $\mathcal{K}$ is a coreflective subcategory of $[\mathcal{K}^{op},Set]$, which is cototal (or more precisely, pro-cototal?, since it is not locally small) — hence $\mathcal{K}$ is also cototal.

Moreover this means that the induced adjoint pair of (co-)monads

$W X \dashv Y X \;\colon\; PSh(\mathcal{K}) \leftrightarrow PSh(\mathcal{K})$

is an adjoint modality.

## Examples

• If $C$ is a small category, then its presheaf category $[C^{op},Set]$ is totally distributive.

• If $\mathcal{K}$ is totally distributive and $\mathcal{L}\subseteq \mathcal{K}$ is a full subcategory that is both reflective and coreflective, then $\mathcal{L}$ is totally distributive.

## Waves

By the adjoint functor theorem for total categories, a total category is totally distributive if and only if the functor $X$ preserves all limits. Moreover, for any total category, it is possible to define the functor $W:\mathcal{K} \to [\mathcal{K}^{op},Set]$ which “wants to be” the left adjoint of $X$ (and is if $\mathcal{K}$ is total). The elements of $W(A)(K)$ are called waves from $K$ to $A$ (just because they are usually denoted by wavy arrows), and as in the case of continuous categories they form an idempotent comonad on $\mathcal{K}$ in the bicategory of profunctors.

## References

• R. Rosebrugh and R.J. Wood. An adjoint characterization of the category of sets. PAMS, Vol. 122, No. 2, 409–413, 1994.

• Rory Lucyshyn-Wright, Totally distributive toposes. spnet.

• Francisco Marmolejo?, Bob Rosebrugh, and Richard Wood, Completely and totally distributive categories I, JPAA 216 no. 8-9 (2012). PDF

Last revised on November 16, 2018 at 13:37:12. See the history of this page for a list of all contributions to it.