PS

End functor

End functor

Ending wedgeの族:

  •  ( \big( (\text{end} _ {S, c} : \displaystyle\int _ d S(d,\ d) \rightarrow S(c, c) \big) _ c ) _ {S : \mathcal{C} ^ {\text{op}} \times \mathcal{C} \rightarrow \mathcal{X} }

が存在するとき、end functor*1:

を定義できる:

f:id:mbps:20140317022027p:plain

記法

  •  \displaystyle\int _ d \tau _ d := \text{End} _ 1 \big( (\tau _ d) _ d \big)

参考文献

*1:endofunctorと紛らわしいかもしれない

*2:mediatorの取り出し