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