Inverse Limit

The limit (projective limit) of an inverse system of objects with projection maps: an object equipped with projections to each stage that is universal for maps factoring through compatible projections; concretely, its elements are sequences of stage-elements coherent under the transition maps.