Выдержка из книги
Цаленко М.С.
Лекции по теории категорий
Из предложения 4.2, усповия 4) и следствия 3.11 внте-кает, что частично упорядоченное по вклжешш множество отношений эквивален. Так как я категории & имеется правый нуль, то в множестве Sp ( A.
