We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. We also correct some mistakes in the literature on this topic.
Ces notes sont consacrées à la construction de dérivateurs à partir d’une nouvelle notion de catégorie de modèles assez générale pour recouvrir les théories de Quillen, Thomason et Brown. On développe en particulier la théorie des catégories exactes dérivables (par exemple les catégories de Frobenius et les catégories biWaldhausen compliciales vérifiant de bonnes propriétés de stabilité homotopique), lesquelles donnent lieu à des dérivateurs triangulés. On donne une caractérisation combinatoire...
Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given....
In the existing literature there are several constructions of the strong shape category of topological spaces. In the one due to Yu. T. Lisitsa and S. Mardešić [LM1-3] an essential role is played by coherent polyhedral (ANR) expansions of spaces. Such expansions always exist, because every space admits a polyhedral resolution, resolutions are strong expansions and strong expansions are always coherent. The purpose of this paper is to prove that conversely, every coherent polyhedral (ANR) expansion...