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

For $f:x\to y$,

If $f$ is an isomorphism, then $deg(x)=deg(y)$.

If $f$ is a noninvertible monomorphism, then $deg(x)\lt deg(y)$.

If $f$ is a noninvertible split epimorphism, then $deg(x) \gt deg(y)$.

Every morphism factors as a split epimorphism followed by a monomorphism.

Any pair of split epimorphisms in $R$ has an absolutepushout.

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 structure 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.