# Direct limit

Last updated

In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms (group homomorphism, ring homomorphism, or in general morphisms in the category) between those smaller objects. The direct limit of the objects ${\displaystyle A_{i}}$, where ${\displaystyle i}$ ranges over some directed set ${\displaystyle I}$, is denoted by ${\displaystyle \varinjlim A_{i}}$. (This is a slight abuse of notation as it suppresses the system of homomorphisms that is crucial for the structure of the limit.)

## Contents

Direct limits are a special case of the concept of colimit in category theory. Direct limits are dual to inverse limits which are also a special case of limits in category theory.

## Formal definition

We will first give the definition for algebraic structures like groups and modules, and then the general definition, which can be used in any category.

### Direct limits of algebraic objects

In this section objects are understood to consist of underlying sets with a given algebraic structure, such as groups, rings, modules (over a fixed ring), algebras (over a fixed field), etc. With this in mind, homomorphisms are understood in the corresponding setting (group homomorphisms, etc.).

Let ${\displaystyle \langle I,\leq \rangle }$ be a directed set. Let ${\displaystyle \{A_{i}:i\in I\}}$ be a family of objects indexed by ${\displaystyle I\,}$ and ${\displaystyle f_{ij}\colon A_{i}\rightarrow A_{j}}$ be a homomorphism for all ${\displaystyle i\leq j}$ with the following properties:

1. ${\displaystyle f_{ii}\,}$ is the identity of ${\displaystyle A_{i}\,}$, and
2. ${\displaystyle f_{ik}=f_{jk}\circ f_{ij}}$ for all ${\displaystyle i\leq j\leq k}$.

Then the pair ${\displaystyle \langle A_{i},f_{ij}\rangle }$ is called a direct system over ${\displaystyle I}$.

The direct limit of the direct system ${\displaystyle \langle A_{i},f_{ij}\rangle }$ is denoted by ${\displaystyle \varinjlim A_{i}}$ and is defined as follows. Its underlying set is the disjoint union of the ${\displaystyle A_{i}\,}$'s modulo a certain equivalence relation ${\displaystyle \sim \,}$:

${\displaystyle \varinjlim A_{i}=\bigsqcup _{i}A_{i}{\bigg /}\sim .}$

Here, if ${\displaystyle x_{i}\in A_{i}}$ and ${\displaystyle x_{j}\in A_{j}}$, then ${\displaystyle x_{i}\sim \,x_{j}}$ iff there is some ${\displaystyle k\in I}$ with ${\displaystyle i\leq k}$ and ${\displaystyle j\leq k}$ and such that ${\displaystyle f_{ik}(x_{i})=f_{jk}(x_{j})\,}$. Heuristically, two elements in the disjoint union are equivalent if and only if they "eventually become equal" in the direct system. An equivalent formulation that highlights the duality to the inverse limit is that an element is equivalent to all its images under the maps of the direct system, i.e. ${\displaystyle x_{i}\sim \,f_{ij}(x_{i})}$ whenever ${\displaystyle i\leq j}$.

One naturally obtains from this definition canonical functions${\displaystyle \phi _{i}\colon A_{i}\rightarrow \varinjlim A_{i}}$ sending each element to its equivalence class. The algebraic operations on ${\displaystyle \varinjlim A_{i}\,}$ are defined such that these maps become homomorphisms. Formally, the direct limit of the direct system ${\displaystyle \langle A_{i},f_{ij}\rangle }$ consists of the object ${\displaystyle \varinjlim A_{i}}$ together with the canonical homomorphisms ${\displaystyle \phi _{i}\colon A_{i}\rightarrow \varinjlim A_{i}}$.

### Direct limits in an arbitrary category

The direct limit can be defined in an arbitrary category ${\displaystyle {\mathcal {C}}}$ by means of a universal property. Let ${\displaystyle \langle X_{i},f_{ij}\rangle }$ be a direct system of objects and morphisms in ${\displaystyle {\mathcal {C}}}$ (as defined above). A target is a pair ${\displaystyle \langle X,\phi _{i}\rangle }$ where ${\displaystyle X\,}$ is an object in ${\displaystyle {\mathcal {C}}}$ and ${\displaystyle \phi _{i}\colon X_{i}\rightarrow X}$ are morphisms for each ${\displaystyle i\in I}$ such that ${\displaystyle \phi _{i}=\phi _{j}\circ f_{ij}}$ whenever ${\displaystyle i\leq j}$. A direct limit of the direct system ${\displaystyle \langle X_{i},f_{ij}\rangle }$ is a universally repelling target${\displaystyle \langle X,\phi _{i}\rangle }$ in the sense that ${\displaystyle \langle X,\phi _{i}\rangle }$ is a target and for each target ${\displaystyle \langle Y,\psi _{i}\rangle }$, there is a unique morphism ${\displaystyle u\colon X\rightarrow Y}$ such that ${\displaystyle u\circ \phi _{i}=\psi _{i}}$ for each i. The following diagram

will then commute for all i, j.

The direct limit is often denoted

${\displaystyle X=\varinjlim X_{i}}$

with the direct system ${\displaystyle \langle X_{i},f_{ij}\rangle }$ and the canonical morphisms ${\displaystyle \phi _{i}}$ being understood.

Unlike for algebraic objects, not every direct system in an arbitrary category has a direct limit. If it does, however, the direct limit is unique in a strong sense: given another direct limit X′ there exists a unique isomorphism X′ → X that commutes with the canonical morphisms.

## Examples

• A collection of subsets ${\displaystyle M_{i}}$ of a set ${\displaystyle M}$ can be partially ordered by inclusion. If the collection is directed, its direct limit is the union ${\displaystyle \bigcup M_{i}}$. The same is true for a directed collection of subgroups of a given group, or a directed collection of subrings of a given ring, etc.
• Let ${\displaystyle X}$ be any directed set with a greatest element ${\displaystyle m}$. The direct limit of any corresponding direct system is isomorphic to ${\displaystyle X_{m}}$ and the canonical morphism ${\displaystyle \phi _{m}:X_{m}\rightarrow X}$ is an isomorphism.
• Let K be a field. For a positive integer n, consider the general linear group GL(n;K) consisting of invertible n x n - matrices with entries from K. We have a group homomorphism GL(n;K) → GL(n+1;K) which enlarges matrices by putting a 1 in the lower right corner and zeros elsewhere in the last row and column. The direct limit of this system is the general linear group of K, written as GL(K). An element of GL(K) can be thought off as an infinite invertible matrix which differs from the infinite identity matrix in only finitely many entries. The group GL(K) is of vital importance in algebraic K-theory.
• Let p be a prime number. Consider the direct system composed of the factor groups ${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ and the homomorphisms ${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} \rightarrow \mathbb {Z} /p^{n+1}\mathbb {Z} }$ induced by multiplication by ${\displaystyle p}$. The direct limit of this system consists of all the roots of unity of order some power of ${\displaystyle p}$, and is called the Prüfer group ${\displaystyle \mathbb {Z} (p^{\infty })}$.
• There is a (non-obvious) injective ring homomorphism from the ring of symmetric polynomials in ${\displaystyle n}$ variables to the ring of symmetric polynomials in ${\displaystyle n+1}$ variables. Forming the direct limit of this direct system yields the ring of symmetric functions.
• Let F be a C-valued sheaf on a topological space X. Fix a point x in X. The open neighborhoods of x form a directed set ordered by inclusion (UV if and only if U contains V). The corresponding direct system is (F(U), rU,V) where r is the restriction map. The direct limit of this system is called the stalk of F at x, denoted Fx. For each neighborhood U of x, the canonical morphism F(U) → Fx associates to a section s of F over U an element sx of the stalk Fx called the germ of s at x.
• Direct limits in the category of topological spaces are given by placing the final topology on the underlying set-theoretic direct limit.
• An ind-scheme is an inductive limit of schemes.

## Properties

Direct limits are linked to inverse limits via

${\displaystyle \mathrm {Hom} (\varinjlim X_{i},Y)=\varprojlim \mathrm {Hom} (X_{i},Y).}$

An important property is that taking direct limits in the category of modules is an exact functor. This means that if you start with a directed system of short exact sequences ${\displaystyle 0\to A_{i}\to B_{i}\to C_{i}\to 0}$ and form direct limits, you obtain a short exact sequence ${\displaystyle 0\to \varinjlim A_{i}\to \varinjlim B_{i}\to \varinjlim C_{i}\to 0}$.

We note that a direct system in a category ${\displaystyle {\mathcal {C}}}$ admits an alternative description in terms of functors. Any directed set ${\displaystyle \langle I,\leq \rangle }$ can be considered as a small category ${\displaystyle {\mathcal {I}}}$ whose objects are the elements ${\displaystyle I}$ and there is a morphisms ${\displaystyle i\rightarrow j}$ if and only if ${\displaystyle i\leq j}$. A direct system over ${\displaystyle I}$ is then the same as a covariant functor ${\displaystyle {\mathcal {I}}\rightarrow {\mathcal {C}}}$. The colimit of this functor is the same as the direct limit of the original direct system.

A notion closely related to direct limits are the filtered colimits. Here we start with a covariant functor ${\displaystyle {\mathcal {J}}\to {\mathcal {C}}}$ from a filtered category ${\displaystyle {\mathcal {J}}}$ to some category ${\displaystyle {\mathcal {C}}}$ and form the colimit of this functor. One can show that a category has all directed limits if and only if it has all filtered colimits, and a functor defined on such a category commutes with all direct limits if and only if it commutes with all filtered colimits. [1]

Given an arbitrary category ${\displaystyle {\mathcal {C}}}$, there may be direct systems in ${\displaystyle {\mathcal {C}}}$ which don't have a direct limit in ${\displaystyle {\mathcal {C}}}$ (consider for example the category of finite sets, or the category of finitely generated abelian groups). In this case, we can always embed ${\displaystyle {\mathcal {C}}}$ into a category ${\displaystyle {\text{Ind}}({\mathcal {C}})}$ in which all direct limits exist; the objects of ${\displaystyle {\text{Ind}}({\mathcal {C}})}$ are called ind-objects of ${\displaystyle {\mathcal {C}}}$.

The categorical dual of the direct limit is called the inverse limit. As above, inverse limits can be viewed as limits of certain functors and are closely related to limits over cofiltered categories.

## Terminology

In the literature, one finds the terms "directed limit", "direct inductive limit", "directed colimit", "direct colimit" and "inductive limit" for the concept of direct limit defined above. The term "inductive limit" is ambiguous however, as some authors use it for the general concept of colimit.

## Notes

1. Adamek, J.; Rosicky, J. (1994). Locally Presentable and Accessible Categories. Cambridge University Press. p. 15.

## Related Research Articles

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied.

In mathematics, the inverse limit is a construction that allows one to "glue together" several related objects, the precise manner of the gluing process being specified by morphisms between the objects. Inverse limits can be defined in any category, and they are a special case of the concept of a limit in category theory.

In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products, pullbacks and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint unions, direct sums, coproducts, pushouts and direct limits.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

In mathematics, specifically category theory, adjunction is a relationship that two functors may have. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems, such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

In mathematics, specifically in category theory, a pre-abelian category is an additive category that has all kernels and cokernels.

In mathematics, a comma category is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become objects in their own right. This notion was introduced in 1963 by F. W. Lawvere, although the technique did not become generally known until many years later. Several mathematical concepts can be treated as comma categories. Comma categories also guarantee the existence of some limits and colimits. The name comes from the notation originally used by Lawvere, which involved the comma punctuation mark. The name persists even though standard notation has changed, since the use of a comma as an operator is potentially confusing, and even Lawvere dislikes the uninformative term "comma category".

In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures allowing one to utilize, as much as possible, knowledge about the category of sets in other settings.

In mathematics, the derived categoryD(A) of an abelian category A is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on A. The construction proceeds on the basis that the objects of D(A) should be chain complexes in A, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described by complicated spectral sequences.

This is a glossary of properties and concepts in category theory in mathematics.

In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a natural transformation and a morphism that preserve monoidal multiplication and unit, respectively. Mathematicians require these coherence maps to satisfy additional properties depending on how strictly they want to preserve the monoidal structure; each of these properties gives rise to a slightly different definition of monoidal functors

In category theory, a branch of mathematics, the diagonal functor is given by , which maps objects as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects within the category : a product is a universal arrow from to . The arrow comprises the projection maps.

In category theory, a branch of mathematics, a presheaf on a category is a functor . If is the poset of open sets in a topological space, interpreted as a category, then one recovers the usual notion of presheaf on a topological space.

In mathematics, specifically in algebraic topology and algebraic geometry, an inverse image functor is a contravariant construction of sheaves; here “contravariant” in the sense given a map , the inverse image functor is a functor from the category of sheaves on Y to the category of sheaves on X. The direct image functor is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle features.

In category theory, a span, roof or correspondence is a generalization of the notion of relation between two objects of a category. When the category has all pullbacks, spans can be considered as morphisms in a category of fractions.

The Grothendieck construction is a construction used in the mathematical field of category theory.

In mathematics, an approximately finite-dimensional (AF) C*-algebra is a C*-algebra that is the inductive limit of a sequence of finite-dimensional C*-algebras. Approximate finite-dimensionality was first defined and described combinatorially by Ola Bratteli. Later, George A. Elliott gave a complete classification of AF algebras using the K0 functor whose range consists of ordered abelian groups with sufficiently nice order structure.

In mathematics, a Grothendieck category is a certain kind of abelian category, introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962.

In Category theory and related fields of mathematics, an envelope is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone–Čech compactification of a topological space. A dual construction is called refinement.

In mathematics, the ind-completion or ind-construction is the process of freely adding filtered colimits to a given category C. The objects in this ind-completed category, denoted Ind(C), are known as direct systems, they are functors from a small filtered category I to C.