Co-Yoneda lemma Category をlocally smallとする。 任意の -object と functor について、 しかも、 と についてnatural(と思う)。 具体的には、関数: とすると、 がcoending cowedgeになる。 Contravariant co-Yoneda lemma 特に、 とすると、functor につ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。