I.D53 — Natural Transformation

A natural transformation between tau-functors. In a thin category, naturality is AUTOMATIC: the naturality square commutes because there is at most one arrow in each direction.