Tower of objects
In category theory, a branch of abstract mathematics, a tower is defined as follows. Let [math]\displaystyle{ \mathcal I }[/math] be the poset
- [math]\displaystyle{ \cdots\rightarrow 2\rightarrow 1\rightarrow 0 }[/math]
of whole numbers in reverse order, regarded as a category. A (countable) tower of objects in a category [math]\displaystyle{ \mathcal A }[/math] is a functor from [math]\displaystyle{ \mathcal I }[/math] to [math]\displaystyle{ \mathcal A }[/math].
In other words, a tower (of [math]\displaystyle{ \mathcal A }[/math]) is a family of objects [math]\displaystyle{ \{A_i\}_{i\geq 0} }[/math] in [math]\displaystyle{ \mathcal A }[/math] where there exists a map
- [math]\displaystyle{ A_i\rightarrow A_j }[/math] if [math]\displaystyle{ i\gt j }[/math]
and the composition
- [math]\displaystyle{ A_i\rightarrow A_j\rightarrow A_k }[/math]
is the map [math]\displaystyle{ A_i\rightarrow A_k }[/math]
Example
Let [math]\displaystyle{ M_i=M }[/math] for some [math]\displaystyle{ R }[/math]-module [math]\displaystyle{ M }[/math]. Let [math]\displaystyle{ M_i\rightarrow M_j }[/math] be the identity map for [math]\displaystyle{ i\gt j }[/math]. Then [math]\displaystyle{ \{M_i\} }[/math] forms a tower of modules.
References
- Section 3.5 of Weibel, Charles A. (1994), An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge University Press, ISBN 978-0-521-55987-4
![]() | Original source: https://en.wikipedia.org/wiki/Tower of objects.
Read more |