Waldhausen category

In mathematics a Waldhausen category (after Friedhelm Waldhausen) is a category C with a zero object equipped with cofibrations co(C) and weak equivalences we(C), both containing all isomorphisms, both compatible with pushout, and co(C) containing the unique morphisms

Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle 0\,\rightarrowtail\, A

from the zero-object to any object A.

To be more precise about the pushouts, we require when

Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle A\, \rightarrowtail\, B

is a cofibration and

Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle A\,\to\, C

is any map, that we have a push-out

Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle B\, \cup_A\, C

where the map

Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle C\, \rightarrowtail\, B\,\cup_A\, C

is a cofibration: File:Waldhausen cat.png

A category C is equipped with bifibrations if it has cofibrations and its opposite category C^OP has so also. In that case, we denote the fibrations of C^OP by quot(C). In that case, C is a biWaldhausen category if C has bifibrations and weak equivalences such that both (C, co(C), we) and (C^OP, quot(C), we^OP) are Waldhausen categories.

As examples one may think of exact categories, where the cofibrations are the admissible monomorphisms. Another example is the full subcategory of cofibrant objects in a pointed model categories, that is, the full subcategory consisting of those objects $X$ for which $0 \to X$ is a cofibration. (The bifibrant objects do not in general form a Waldhausen category, as a pushout of fibrant objects need not be fibrant. For more information on this second example see the paper by Sagave in the references)

Waldhausen and biWaldhausen categories are linked with algebraic K-theory. There, many interesting categories are complicial biWaldhausen categories. For example: The category Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle C^b(\mathcal{A})

of bounded chaincomplexes on an exact category $\scriptstyle \mathcal{A}$

The category Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle S_n \mathcal{C}

of functors Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle Ar(\Delta ^n)\, \to\, \mathcal{C}
when $\scriptstyle\mathcal{C}$ is so.

And given a diagram $\scriptstyle I$, then Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \scriptstyle \mathcal{C}^I

is a nice complicial biWaldhausen category when $\scriptstyle \mathcal{C}$ is.

References

• F. Waldhausen, Algebraic K-Theory of spaces — http://www.maths.ed.ac.uk/~aar/surgery/rutgers/wald.pdf
• C. Weibel, The K-book, an introduction to algebraic K-theory — http://www.math.rutgers.edu/~weibel/Kbook.html
• G. Garkusha, Systems of Diagram Categories and K-theory — http://front.math.ucdavis.edu/0401.5062