(・・・とでも呼んでみる) 以下、curry(close) bijection の箱の添字は省略する。 Copowers in 1-categories natural in Copower bijections 上記の natural isomorphism は copower injection: による bijection: により表すことができるのであった。 命題: Cl…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。