II.D56 — 2-Morphism

A 2-cell between 1-cells in tau_2, defined as an element of the internal Hom-Hom. Well-defined because Hom objects are tau-objects via self-enrichment.