In category theory, a branch of abstract mathematics, a tower is defined as follows. Let
of whole numbers in reverse order, regarded as a category. A (countable) tower of objects in a category
In other words, a tower (of
and the composition
is the map
Example
Let