Hom-object adjunction -functor: (left adjoint) (right adjoint) および -natural isomorphism in : (adjoint iso) からなる代数的構造のこと。 Enriched representability - PS の命題により representation of の族: が存在すれば十分である。 命題 Hom-…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。