Co-Yoneda lemma - PS を( dinaturality でなく普通の) naturality の世界で表現するとこうなるらしい。 Contravariant Yoneda embedding *1 命題 Every set-valued functor is a colimit of representables: functor: forgetful functor: について 具体的に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。