Inductive limit

A construction that first appeared in set theory, and then became widely used in algebra, topology and other areas of mathematics. An important special case of an inductive limit is the inductive limit of a directed family of mathematical structures of the same type. Let be a directed pre-ordered set, that is, a reflexive transitive relation is defined on and for any two elements there exists an element such that and . Suppose further that a structure is associated with each (for definiteness, suppose that the are groups) and that for each homomorphisms are given satisfying the two conditions: for any and for any in . An equivalence relation is introduced on the set : The element is equivalent to if for some . The quotient set can then be endowed with a group structure: If , and , , then the product of the equivalence classes represented by and is defined to be the equivalence class with representative . The resulting group is called the inductive limit of the family of groups . There exists for each a natural homomorphism associating to an element its equivalence class. The group together with its homomorphisms has the following property: For any system of homomorphisms , , for which for , there exists a unique homomorphism such that for any .

A generalization of the above construction of an inductive limit is the notion of an inductive limit (direct limit or colimit) of a functor. An object of a category is called an inductive limit of the covariant functor if:

1) there exist morphisms , where , such that for any morphism in ; and

2) for any family of morphisms , where , such that for any in , there exists a unique morphism such that , .

An inductive limit is denoted by or or . An inductive limit of a contravariant functor is defined as an inductive limit of the covariant functor from the dual category into the category .

Every pre-ordered set can be regarded as a category whose objects are the elements of and whose morphisms are all pairs for which and , with the obvious law of composition. In an arbitrary category , a family of objects , , and morphisms , where , can be regarded as the image of a functor if and for . If is the category of sets (groups, topological spaces, etc.), then the inductive limit of the functor coincides with the construction of the inductive limit defined above.

If is a small discrete category, then an inductive limit of any functor from into an arbitrary category is a coproduct of the objects , . In particular, if is empty, then an inductive limit is a left null or an initial object of . Cokernels of pairs of morphisms of any category are inductive limits of functors defined on the category with two objects and and four morphisms and .

Every covariant functor from an arbitrary small category into a category has an inductive limit if and only if has coproducts and cokernels of pairs of morphisms.

References

[1]	P.S. Aleksandrov, "Topological duality theorems" Trudy Mat. Inst. Steklov. , 48 (1955) pp. Chapt. 1 (In Russian)
[2]	I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968)
[3]	M.Sh. Tsalenko, E.G. Shul'geifer, "Fundamentals of category theory" , Moscow (1974) (In Russian)

Comments

In the main article above, stands for : the value of the homomorphism on the element .

Similarly, composition of homomorphisms is written backwards: means first apply and then .

In English, the term "inductive limit" is usually restricted to limits over directed pre-ordered sets, the more general categorical concept being called a colimit. "Cokernels of pairs of morphisms" are commonly called coequalizers.

Dual to the notion of an inductive limit is that of a projective limit, also called an inverse limit.

References

[a1]	S. MacLane, "Categories for the working mathematician" , Springer (1971) pp. Chapt. IV, Sect. 6; Chapt. VII, Sect. 7