Tower (mathematics)

In category theory, a branch of abstract mathematics, a tower is defined as follows. Let be the poset

of whole numbers in reverse order, regarded as a category. A (countable) tower of objects in a category is a functor from to .

In other words, a tower (of ) is a family of objects in where there exists a map

if

and the composition

is the map

Example

Let for some -module . Let be the identity map for . Then forms a tower of modules.

gollark: Yep! It'd be great for infipage.
gollark: HiH
gollark: Or at least a weirdlang.
gollark: That would be a cool esolang actually. An advanced FP language but with Lolcode syntax.
gollark: ```HAI 1.3IM IN YR loop UPPIN YR var TIL BOTH SAEM var AN 10 VISIBLE SMOOSH var AN " " MKAY!IM OUTTA YR loopKTHXBYE```

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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.