0PCR Example 8.1.18. The first picture below provides an example of description of the unit of the adjunction as in Lemma 8.1.16. The second picture describes a calculation of an image by the counit.