Универсальное свойство
- Категория — это математическая структура, объединяющая объекты и морфизмы.
- Функтор — это отображение между категориями, сохраняющее структуру.
- Тензорная алгебра является универсальным морфизмом из векторного пространства к функтору.
- Категориальный продукт характеризуется универсальной конструкцией.
- Пределы и коллимиты являются особым видом ограничений в теории категорий.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: