>>84
f×id:X×Y→Y×Y
Γ=(f×id)^-1(Δ)
>>85
意味不明