12 May
2016
12 May
'16
5:55 p.m.
I would also be interested in whether someone has written down the proof in the additive setting: for a preadditive category A the category of additive functors (A^op,Ab) is the free cocompletion of A with respect to additive functors. Maybe something general has been written somewhere. Many thanks Sam [For admin and other information see: http://www.mta.ca/~cat-dist/ ]