II.P21 — HolEnd Exponentials

The holomorphic endomorphism category HolEnd(tau) admits internal exponentials: [A x B, C] = [A, [B, C]] for all objects A, B, C in HolEnd(tau). Follows from self-enrichment closure.