e/Inverse system

Information
has gloss	eng: In mathematics, an inverse system in a category C is a functor from a small cofiltered category I to C. An inverse system is sometimes called a pro-object in C.
lexicalization	eng: inverse system
instance of	c/Limits in categories