ただし η"x" は、"c" の任意の射 "f": "x" → "y" に対して