Универсальное свойство

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