Projective Limit

The universal object (limit) of an inverse system (also called an inverse or projective system) equipped with projection maps to each object in the system, consisting of tuples compatible under the bonding maps and satisfying a universal property with respect to maps into the system.