##  [Inductive Limit](/inductive-limit-0) 

 Definition

The colimit of a directed (often filtered) system, also called a direct or inductive limit, producing an object obtained by coherently adjoining the objects of the system along the connecting morphisms and characterized by a universal mapping property for maps out of the system.

 

 

 

 

 

 





## Principle

Principle

Glue the objects of a directed diagram together along the specified transition maps, freely identifying elements that are images of one another under the connecting morphisms; the inductive limit is the smallest object receiving compatible maps from the system and universal with that property.

 

 

 

 

 





## Demonstration

Demonstration

An elementary example in algebra: take vector spaces V_n = k^n with standard inclusions i_n: k^n ↪ k^{n+1} (adding a zero coordinate); the direct limit is the vector space of finite sequences (the union of the images), i.e., the countable union of these finite-dimensional spaces with the colimit structure.

 

 

 

 

## Misapplication

Misapplication

Mistaking inductive limits for set-theoretic unions without regard for identifications imposed by morphisms, or assuming that topological or categorical properties pass to the limit without verification (e.g., completeness, Hausdorff property in topological colimits).

 

 

 

 

 





## Consequence

Consequence

One obtains canonical injections from each stage into the colimit and a universal property: any compatible family of maps from the stages into another object factors uniquely through the inductive limit, enabling constructions by successive approximation or union.

 

 

 

 

## Reversal

Reversal

The dual notion is the projective (inverse) limit: while inductive limits coalesce stages by freely adjoining and identifying along maps, projective limits select compatible families that satisfy all transition constraints simultaneously.

 

 

 

 

 





## Boundary

Boundary

Exists in any cocomplete category; in enriched or topological categories additional care is required because colimits may not preserve finiteness, compactness, or separation properties, and topological colimits can have subtle quotient topologies.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between understanding an inductive limit as a categorical colimit (universal property) and as an increasing union (concrete construction) can lead to confusion when identifications are nontrivial or when additional structure (topology, topology of convergence) must be considered.

 

 

 

 

 





## Synthesis

Synthesis

An inductive limit is the colimit object formed by coherently adjoining a directed family of objects along connecting morphisms: concretely an explicit union with identifications, and abstractly a universal recipient of compatible maps, used to build large objects from successive pieces.