Проективный предел

---

Проективный предел (обратный предел) — используемая в различных разделах математики конструкция, которая позволяет построить новый объект ${\displaystyle X}$ по семейству (индексированному направленным множеством) однотипных объектов ${\displaystyle X_{i}}$ и набору отображений ${\displaystyle f_{ij}:X_{j}\to X_{i}}$, ${\displaystyle i\leqslant j}$. Один из видов пределов в теории категорий.

---