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

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.