Ограничения (теория категорий)

Двойной продукт Определение двойного произведения Двойное произведение объектов в категории с нулевыми морфизмами является конечным объектом с определенными проекционными и […]