SEVERAL CONSTRUCTIONS OF EXACT SEQUENCES

Abstract

The article presents a construction of a 5-term relative exact sequence in purely categorical terms and the Mayer–Vietoris sequence for weak ∞-groupoids of R. Street. In the first half of the paper, it is shown that several well-known exact sequences can be obtained, using the Z-diagram described at the beginning of the article. There are number of categories that are close to the category of topological spaces in the sense of homotopy theory. The objects of such a category can be viewed as weak ∞-groupoids in a very intuitive way. Therefore, the language of weak ∞-groupoids seems to be very convenient to make explicit constructions in categories of this type. The article presents a combinatorial construction of the path space of a weak ∞-groupoid and applies the machinery of Sec. 1 to obtain the long exact sequence of a homotopy fiber. The construction is quite natural and gives information on the structure of the relative terms. In the last section, the Mayer–Vietoris sequence of a fiber square of weak ∞-groupoids is obtained under some conditions. Of course, this construction makes sense for topological spaces or for any category mentioned above. But the statement of the conditions is more natural in terms of weak ∞-groupoids. This sequence generalizes the sequence of fibration, and in this case the conditions given in the article are equivalent to the homotopy lifting property. Bibliography: 6 titles.