Power をlocally small categoryとする。 について、constant functor: *1 のlimit、つまりproduct: を、power of といい、 等々と書く。そのprojectionは、 のようなmorphism族である。 Natural bijectionによる表現 Power projectionは-terminal morphism…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。