Категория продукта

• Определение категории продукта

  • Категория продукта C × D объединяет объекты и стрелки из C и D. 
  • Композиция стрелок в категории продукта соответствует композиции в категориях C и D. 
  • Пара идентификаторов из C и D используется для идентификации объектов. 

• Связь с другими понятиями

  • Для небольших категорий продукт совпадает с действием в категории Cat. 
  • Функтор Hom, имеющий произведение, является важным примером. 

• Обобщение на n аргументов

  • Операция произведения на категории является коммутативной и ассоциативной. 
  • Обобщение на n категорий не вносит новых теоретических аспектов. 

• Рекомендации

  • Статья содержит список рекомендаций по форматированию и использованию категорий продукта. 

• Категория продукта в nLab

  • Статья является заглушкой и призывает к расширению для улучшения Википедии.