Проективный предел: различия между версиями

'''Проективный предел''' (''обратный предел'') — [[универсальнаяиспользуемая алгебра|универсально-алгебраическая]]в иразличных [[Теорияразделах категорий|теоретико-категорная]]математики конструкция, унаследованнаякоторая из [[теория множеств|теории множеств]] и [[топология|топологии]], позволяющаяпозволяет построить новый объект <math>X</math> по семейству (индексированному [[направленное множество|направленным множеством]]) однотипных объектов <math>X_i</math> и набору отображений <math>f_{ij}:X_j\to X_i</math>, <math>i\leqslant j</math>. Один из видов [[Предел (теория категорий)|пределов в теории категорий]].