Representable functor なるfunctor: のこと。 Copower Power - PSのdual: のこと。 Copowers in sets 特に、 のとき 命題.1 Functor: について、 証明 命題.2 Representable functor: について、functor: が定義できるならば、 証明 参考文献 Representable…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。