From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/967 Path: news.gmane.org!not-for-mail From: "David B. Benson" Newsgroups: gmane.science.mathematics.categories Subject: Inferring colimits Date: Tue, 15 Dec 1998 15:31:54 -0800 Message-ID: <9812152331.AA08574@decserv2> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017395 28600 80.91.229.2 (29 Apr 2009 15:03:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:03:15 +0000 (UTC) Original-X-From: cat-dist Tue Dec 15 20:47:45 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id TAA09122 for categories-list; Tue, 15 Dec 1998 19:47:47 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Apparently-To: categories@mta.ca Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 43 Xref: news.gmane.org gmane.science.mathematics.categories:967 Archived-At: Dear category theorists, I have a question to which answers will be most appreciated. To set the stage for the question, consider a category A for which diagrams D':G'-->A and D'':G''-->A have colimits, colim D' and colim D'', respectively. Suppose the sum colim(D')+colim(D'') exists in A. Then the obvious diagram [D',D'']:G'+G''-->A has a colimit, the sum mentioned just above, and irrespective of whether any other sums may exist in A. So from the existence of some colimits, the existence of others may be inferred. Definition: Relative to a base category A, for each collection K of (small) diagrams on A with colimits, the collection of all inferable (small) diagrams with colimits is said to be a <> of K. Example: For every nonempty category C, and every (small) category G with terminal object, every diagram D:G-->C is in the repletion of the empty collection, hence in the repletion of every collection of diagrams on C with colimits. Now for the question. Has there been any systematic study of what I have just defined as repletions? If not, are there in any case some papers I should consider? Thank you very much! Season's Greetings, David Post Script (in the traditional sense): Writers of textbooks in category theory may wish to consider including the following as an exercise -- For all small categories C and all functors F:C-->Sets, the left Kan extension of F along Id:C-->C is (isomorphic to) F.