nForum - Search Results Feed (Tag: end)2024-03-28T10:37:23+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
ends and coends in a derivatorhttps://nforum.ncatlab.org/discussion/3288/2011-11-09T20:38:46+00:002012-03-06T06:35:13+00:00Mike Shulmanhttps://nforum.ncatlab.org/account/3/
Created coend in a derivator, with a stub at homotopy coend.