15 May
2016
15 May
'16
3:21 p.m.
Dear Sam, Theorems on free (co)completion of categories and internal categories, with explicit constructions, are given in Charles Ehresmann's paper: "Sur l'existence de structures libres et de foncteurs adjoints" (Cahiers IX, 1967) reprinted in his "Oeuvres" http://ehres.pagesperso-orange.fr/C.E.WORKS_fichiers/C.E_Works.htm Part IV-1, where I have added some bibliographical notes (Comment 199, p. 368). These results have been generalized to free 'relative' (co)completions in our joint paper "Categories of sketched structures" (Cahiers, 1972), reprinted in the "Oeuvres" part IV-2 (407-517). Sincerely Andree [For admin and other information see: http://www.mta.ca/~cat-dist/ ]