内部恒等射
モノイダル閉圏
における
内部hom函手
の
恒等射
に相当するもの
code:sig
a.id : i -> a ⊸ a
a.id = i.a.unit
; a ⊸ a.ρ
https://gyazo.com/30c524a45d3c97e401d0633b3b415d2f