2014-03-17 End functor 圏論 定義 End End functor Ending wedgeの族: が存在するとき、end functor*1: *2 を定義できる: 記法 参考文献 Categories for the Working Mathematician (Graduate Texts in Mathematics) Limit functor - PS *1:endofunctorと紛らわしいかもしれない *2:mediatorの取り出し