Распределительная категория

• Определение дистрибутивной категории

  • Категория является дистрибутивной, если она обладает конечными произведениями и копроизведениями. 
  • Канонические карты в категории являются изоморфизмами. 
  • Эндофунктор сохраняет побочные продукты с точностью до изоморфизмов. 

• Примеры дистрибутивных категорий

  • Категория множеств является дистрибутивной. 
  • Примеры недистрибутивных категорий включают Grp и Ab. 
  • Категория точечных множеств также не является дистрибутивной. 

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

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