The Category of Inverse Systems
Pro-objects in C form a category pro-C. Two inverse systems
- F:I C
and
G:J C determine a functor
- Iop x J Sets,
namely the functor
- .
The set of homomorphisms between F and G in pro-C is defined to be the colimit of this functor in the first variable, followed by the limit in the second variable.
If C has all inverse limits, then the limit defines a functor pro-CC. In practice, e.g. if C is a category of algebraic or topological objects, this functor is not an equivalence of categories.
Read more about this topic: Inverse System
Famous quotes containing the words category, inverse and/or systems:
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)
“Yet time and space are but inverse measures of the force of the soul. The spirit sports with time.”
—Ralph Waldo Emerson (1803–1882)
“Our little systems have their day;
They have their day and cease to be:
They are but broken lights of thee,
And thou, O Lord, art more than they.”
—Alfred Tennyson (1809–1892)