右カン拡張を関手の指数とみなして、カン対応（Kan bijection）を中心にしてラムダ計算をする場合、その舞台となるのは、2-圏だろう。横結合を非対称テンソル積とみなす。テンソル積のオペランドが、dom/codを持つので、自由にテンソルできるわけではない。…