η: "f" → "g" を函手 "f","g": "c" → "d" 間の自然変換、"h": "d" → "e" を別の函手とすると、自然変換 "h"η: "hf" → "hg" が