Coendからのleft Kan extension
命題
Functor:
について、
しかも、 についてnatural。
具体的には、 はcocompleteなので、coending cowedgeの族:
を作ることができるが、ここで、
とすると、 は、left Kan extension of along になる。
Functor:
について、
しかも、 についてnatural。
具体的には、 はcocompleteなので、coending cowedgeの族:
を作ることができるが、ここで、
とすると、 は、left Kan extension of along になる。