Раздел (теория категорий)

Ретракция в теории категорий — это отображение, которое превращает эпиморфизм в изоморфизм.
Сечение также является эпиморфизмом и является изоморфизмом в двойственном смысле.
Термин ретракции в теории категорий происходит от аналогичного понятия в топологии.
В категории множеств каждый мономорфизм является сечением, а каждый эпиморфизм является ретракцией.
В категории векторных пространств над полем K каждый мономорфизм и каждый эпиморфизм расщепляются.
В категории абелевых групп эпиморфизм не расщепляется, и существует только нулевое отображение.

Полный текст статьи:

Раздел (теория категорий) — Википедия