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

Проективный предел можно определить в произвольной категории. Двойственное понятие — прямой предел.