Exact completion of path categories and algebraic set theory. I: Exact completion of path categories

Abstract: We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, we will present an application to models of constructive set theory. Although our work is partly motivated by recent developments in homotopy type theory, this paper is written purely in the language of homotopy theory and category theory, and we do not presuppose any familiarity with type theory on the side of the reader.

Review text

The authors introduce a variant of Brown's notion of category of fibrant objects in which the class of weak equivalences satisfies the \(2\)-out-of-\(6\) property and in which every object is cofibrant. The authors develop the basic properties of such a category and its associated homotopy category. Subsequently, they show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, the authors present an application to models of constructive set theory.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Exact completion of path categories and algebraic set theory. I: Exact completion of path categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748403)