Cтраница 4
Функтор индуцирования ind из T Sets в ( / Sets не столь очевиден. [46]
Функтор F: ( Jf-ADG) Q - 9rQ является эквивалентностью категорий. [47]
Функтор F называется точным, если он переводит любую точную последовательность в точную. [48]
Функторы суммы и пересечения нормализованы. [49]
Функторы F, G и естественные преобразования Т ]: Ix - GF и е: FG - IA такие, что обе композиции из ( 8) являются тождественными преобразованиями. [50]