# nLab inductive limit

category theory

## Applications

#### Limits and colimits

limits and colimits

## (∞,1)-Categorical

### Model-categorical

An inductive limit is the same thing as a colimit. (Similarly, a projective limit is the same thing as a limit.) In this context, an inductive system is the same thing as a diagram, and an inductive cone is the same thing as a cocone.

Many authors restrict this terminology to colimits over directed sets (or filtered categories), especially the directed set $(\mathbb{N},\leq)$ of natural numbers; see directed colimit (or filtered colimit) for discussion of this case if you think that it may be what you want.

Revised on July 28, 2011 02:00:58 by Toby Bartels (76.85.192.183)