chapter 7 remark about bifunctor lemma
chapter 7