Satu arah adalah pemetaan kurri pada hukum eksponensial kompak-terbuka. Untuk arah balik, komposisikan \(\widehat H\times\operatorname{id}_X\) dengan evaluasi kontinu.