6 Jul
2009
6 Jul
'09
12:31 a.m.
On Sun, Jun 28, 2009 at 11:11 PM, Vaughan Pratt<pratt@cs.stanford.edu> wrote:
(Incidentally, of what use are non-free cocompletions? Is there any reason not to define "cocompletion" to make it free? I seem to recall people being happy to drop "free" in this context. Who ordered "free"?)
To me the unadorned word "completion" connotes an idempotent operation, which the free (co)completion of a category is not. A more precise term would be "free cocomplete category generated by." Unlike most other uses of "complete" in mathematics, completeness of a category is not a property but a "property-like structure." Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]