Индуктивный предел

Индуктивный предел (или прямой предел, копредел) — конструкция, возникшая первоначально в теории множеств и топологии, а затем нашедшая широкое применение во многих разделах математики. Двойственное понятие — проективный (или обратный) предел.

Мы дадим определение для алгебраических структур, а затем — для объектов произвольной категории.

В этом разделе будет дано определение, подходящее для множеств с добавленной структурой, таких как группы, кольца, модули над фиксированным кольцом и т. д.

Более общо, прямой предел направленной системы — это то же самое, что её копредел в категорном смысле.