III.T36 — Functoriality Theorem

For every sector morphism f: S₁→S₂, the induced map on boundary characters commutes with spectral decomposition