Естественное преобразование: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
м Бот: замена устаревшего математического синтаксиса в соответствии с mw:Extension:Math/Roadmap |
→Определение: пункт. Метки: с мобильного устройства из мобильной версии |
||
Строка 9:
Если η — естественное преобразование функтора ''F'' в функтор ''G'', мы пишем η : ''F'' → ''G''. Также об этом говорят, что семейство морфизмов η<sub>''X''</sub> : ''F''(''X'') → ''G''(''X'') '''естественно по ''X'''''.
Если для каждого ''X'' в ''C''
'''Инфраестественное преобразование''' η из ''F'' в ''G'' — это просто семейство морфизмов η<sub>''X''</sub>: ''F''(''X'') → ''G''(''X''). '''Натуралайзер''' η, nat(η), — это самая большая [[подкатегория]] ''C'', содержащая те объекты ''C'', в ограничении на которые η является естественным преобразованием.
| |||