Cтраница 2
Предложение 1.2. Отображение Нд Л - ( является одноместным ковариантным функтором. [16]
Аксиомы 1 и 2 означают, что Нг есть ковариантный функтор из нек-рой категории пар пространств в категорию групп. Точная последовательность); важным примером частично полуточной теории гомологии является теория гомологии Александрова - Чеха. [17]
Тогда Мог и Мог г / могут рассматриваться как одноместные ковариантные функторы из Ж X УС % в Set. Изоморфизм этих функторов понимается в соответствии с приводившимся общим определением. [18]
Легко проверяется, что функция М гях - л1 есть ковариантный функтор. [19]
Для простоты обозначений предположим, что X и i - ковариантные функторы одного аргумента. [20]
Спектральная последовательность для композиции морфизмов показывает, что К0 является ковариантным функтором для собственных морфизмов. [21]
Будем говорить, что кольца А и Г морита-эквивалентны, если существуют ковариантные функторы 5: л / ЗЯ-г90. ЗЯ между категориями всех модулей над этими кольцами такие, что функторы ST и TS эквивалентны тождественным. Свойство кольца называется морита-сзойством, если оно сохраняется при переходе к морита-эквивалентному кольцу. Свойство быть кольцом главных левых идеалов морита-свойством не является. Кон [ 112 [ нашел свойства колец, морита-эквивалентных коновским, локально коновским ( см. стр. [22]
При этом, как легко проверить, композиция двух однотипных функто л всегда оказывается ковариантным функтором, а композиция двух разнотипных функторов всегда является контравариантным функтором. [23]
Группы Я ( 0, -) и Hn ( G -) являются ковариантными функторами второго аргумента. [24]
Группы Hn ( G, -) и Я ( С -) являются ковариантными функторами второго аргумента. [25]
Докажите, что соответствие X - ] х, / н - ] / есть ковариантный функтор из Тор в Тор. [26]
Соответствие g LJ ( g), qt - - U ( p) есть ковариантный функтор из категории алгебр Ли в категорию ассоциативных алгебр с единицами над К. [27]
На языке теории категорий данное предложение утверждает, что Нк ( А, ) является ковариантным функтором из категории Л - бимодулей в категорию - модулей. [28]
Для всякой категории oZ тождественное отображение I е: Л - Й есть, очевидно, ковариантный функтор, являющийся изоморфизмом. [29]
Соответствия f - SP ( f) и / - - S ( /) являются соответственно ковариантными функторами из категории А - модулей в себя и в категорию А - алгебр. [30]