# nLab Eilenberg-Zilber category

Eilenberg-Zilber categories

# Eilenberg-Zilber categories

## Idea

An Eilenberg-Zilber category is a special sort of generalized Reedy category for which degeneracies behave particularly well.

## Definition

An Eilenberg-Zilber category (or EZ-category) is a small category $R$ equipped with a function $d:ob(R) \to \mathbb{N}$ such that

1. For $f:x\to y$,
1. If $f$ is an isomorphism, then $deg(x)=deg(y)$.
2. If $f$ is a noninvertible monomorphism, then $deg(x)\lt deg(y)$.
3. If $f$ is a noninvertible split epimorphism, then $deg(x) \gt deg(y)$.
2. Every morphism factors as a split epimorphism followed by a monomorphism.
3. Any pair of split epimorphisms in $R$ has an absolute pushout.

Since a morphism is a split epimorphism if and only if its image in the presheaf category $[R^{op},Set]$ is an epimorphism, condition (2) says that the (epi, mono) factorization system of $[R^{op},Set]$ restricts to $R$ via the Yoneda embedding, while condition (3) says that the representables are closed in $[R^{op},Set]$ under pushouts of pairs of epimorphisms.

## Properties

Any EZ-category is a generalized Reedy category where $R^+$ and $R^-$ are the monomorphisms and the split epimorphisms, respectively. Moreover, $R^{op}$ is also a generalized Reedy category where the definitions of $R^+$ and $R^-$ are reversed. However, the generalized Reedy model structures on contravariant functors (corresponding to the generalized Reedy strurcture on $R^{op}$) are generally better-behaved.

Any element of a presheaf on an EZ-category $R$ is a degeneracy of a unique nondegenerate element.

If an EZ-category is also a strict Reedy category (i.e. contains no nonidentity isomorphisms), then it is an elegant Reedy category.

## References

Last revised on May 13, 2021 at 18:42:52. See the history of this page for a list of all contributions to it.