命題 Functor: について、 しかも、 についてnatural。 具体的には、 はcocompleteなので、coending cowedgeの族: を作ることができるが、ここで、 とすると、 は、left Kan extension of along になる。 参考文献 Categories for the Working Mathematician…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。