form an algebra, since zero does not have a multiplicative inverse).

General definition

The inverse limit can be defined abstractly in an arbitrary category by means of a universal property. Let be an inverse system of objects and morphisms in a category C (same definition as above). The inverse limit of this system is an object X in C together

1.Previous
3.Next