Предел (теория категорий)

Преде́л в теории категорий — понятие, обобщающее свойства таких конструкций, как произведение, декартов квадрат и обратный предел. Двойственное понятие копредела обобщает свойства таких конструкций, как дизъюнктное объединение, копроизведение, кодекартов квадрат и прямой предел.

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

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я