Для собственного морфизма /: X - Y определено понятие прямого образа циклов. Основной результат этой главы состоит в том, что рациональная эквивалентность сохраняется при переходе к прямому образу. Индуцированные гомоморфизмы /: АД - Л Y превращают А в ковариантный функтор на собственных морфизмах.