Откат (теория категорий)
- Откат — это операция, обратная отображению.
- В категории множеств откат является отображением, обратным отображению.
- Откаты могут быть определены для различных категорий, включая категории многообразий и абелевых категорий.
- В любой категории с конечным объектом откат X × T Y равен обычному произведению X × Y.
- Мономорфизмы и изоморфизмы устойчивы при откате.
- В абелевой категории существуют все откаты и они сохраняют ядра.
- В любой категории с откатами и продуктами есть эквалайзеры.
Полный текст статьи: