A tower is a diagram of the shape of the poset of natural numbers
A limit over a diagram of this form is called a sequential limit/directed limit. If all connecting morphisms $X_{i+1}\to X_i$ are epimorphism then we sometimes say that the tower is a cofiltration? (though the same term may be sometimes applied more generally for more general index categories, or more restrictively when there is an object in the ambient category such that all $X_i$ are its quotients).
Different contexts lead to different notions of morphism of towers, so it is important to consider what category of towers is appropriate for any given use of these objects. In addition to Postnikov towers, and related uses in decomposing homotopy types, towers also occur as a simple type of pro-object in a category. In that situation the morphisms considered between towers are usually pro-morphisms.
In homotopy theory in the presence of (infinity,1)-limits/(infinity,1)-colimits, every tower is a tower of homotopy fibers.
The tower diagram shape $\mathbb{N}_{\geq} = \{\cdots 3\to 2 \to 1 \to 0\}$ is evidently a small cofiltered category. As such it makes sense to consider pro-morphisms between tower diagrams:
For any small category $\mathcal{C}$, the full subcategory
of the category $Pro(\mathcal{C})$ of pro-objects in $\mathcal{C}$ on those that have presentation by formal sequential limits (formal limits over tower diagrams) is the pro-category of towers $Tow_{pro}(\mathcal{C})$ in $\mathcal{C}$.
(e.g. Blanc 96, def. 2.5)
For $X_\bullet \colon \mathbb{N}_{\geq} \longrightarrow \mathcal{C}$ a tower diagram, we write
for its formal cofiltered limit, i.e.
Notice that generally we have that morphisms between formal cofiltered limits (pro-objects) of shapes $\mathcal{K}_1$ and $\mathcal{K}_2$, respectively, are represented as cofiltered limits of systems of morphisms indeced on a single cofiltered category $\mathcal{K}$ equipped with final functors to $\mathcal{K}_1$ and $\mathcal{K}_2$, respectively. (See at ind-object this prop.).
The following says that in the case that both shapes are towers, then also $\mathcal{K}$ may always be chosen to be of tower shape:
For $X_\bullet$ and $Y_\bullet$ two tower diagrams in $\mathcal{C}$, then every morphism
between their formal cofiltered limits (every pro-morphism between the diagrams) in $Tow_{pro}(\mathcal{C}) \hookrightarrow Pro(\mathcal{C})$ is represented by component morphisms
making commuting diagrams
i.e. by a natural transformation $\phi_\bullet$ between
and
as
(e.g. Blanc 96, p. 6, Libman, p.4)
The pro-category of towers $Tow_{pro}(\mathcal{C})$ (def. ) has all finite limits and finite colimits. Moreover these are presented by the degreewise finite limits of any representing diagram of towers, via prop. .
David Blanc, Colimits for the pro-category of towers of simplicial sets, Cahiers de Topologie et Géométrie Différentielle Catégoriques (1996) Volume: 37, Issue: 4, page 258-278 (numdam)
Assaf Libman, Tower techniques for cofacial resolutions, Hopf archive (pdf)
Last revised on August 30, 2016 at 11:36:44. See the history of this page for a list of all contributions to it.