Weighted limit の limiting-cone 的なもの。 記法.1 @deprecated 以下、Currying の記法 を使って とする。 記法.1' 以下、Lambda 記法 - PS を使って とする。 Cylinder -morphism: のこと。Enriched Yoneda lemma (weak form) - PS の対応により -natural…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。