From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/644
Path: news.gmane.org!not-for-mail
From: David Espinosa <espinosa@kestrel.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: CATS Are primes ever generators?
Date: Fri, 13 Feb 1998 09:12:18 -0800
Message-ID: <199802131712.JAA10069@blackhawk.kestrel.edu>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017092 26671 80.91.229.2 (29 Apr 2009 14:58:12 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:58:12 +0000 (UTC)
Cc: espinosa@kestrel.edu
To: categories@mta.ca
Original-X-From: cat-dist Fri Feb 13 17:06:38 1998
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.8.8/8.8.8) id PAA14900
	for categories-list; Fri, 13 Feb 1998 15:41:33 -0400 (AST)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 19
Xref: news.gmane.org gmane.science.mathematics.categories:644
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/644>



We can say that an object P in a category with coproducts is *prime*
if whenever f : P -> A+B, f factors through one of the injections into
A+B.

(1) I didn't find any reference to this (obvious) notion of
    primality in the standard texts.  Does it occur anywhere?

(2) Is there any condition on the category under which the set of
    primes is a generating family?  Since objects are decomposable
    into a "quotient of a coproduct of generators" (Borceux, volume 1,
    page 151), this would give a decomposition into primes.

Thanks,

David