Точная категория

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

  • Точная категория — это категория, в которой все мономорфизмы являются ядрами соответствующих эпиморфизмов. 
  • Мономорфизмы и эпиморфизмы в точной категории удовлетворяют аксиомам мономорфизмов и эпиморфизмов в абелевых категориях. 

• Примеры точных категорий

  • Абелева категория является точной по определению. 
  • Категория Abtf абелевых групп без кручения является точной. 
  • Категория Abt абелевых групп с кручением также является точной. 

• Мотивация и перевод абелевых категорий

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

• Рекомендации по форматированию

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