From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2361 Path: news.gmane.org!not-for-mail From: Andrei.Prokopiw@Dartmouth.EDU (Andrei Prokopiw) Newsgroups: gmane.science.mathematics.categories Subject: first isomorphism theorem Date: 18 Jun 2003 13:39:10 EDT Message-ID: <13560194@newdancer.Dartmouth.EDU> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241018603 3768 80.91.229.2 (29 Apr 2009 15:23:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:23 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jun 18 19:09:56 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 18 Jun 2003 19:09:56 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19Sl7b-00043G-00 for categories-list@mta.ca; Wed, 18 Jun 2003 19:09:39 -0300 X-MailScanner: No virus detected by mailhub2.Dartmouth.EDU Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 52 Original-Lines: 11 Xref: news.gmane.org gmane.science.mathematics.categories:2361 Archived-At: Is there a suitable first isomorphism theorem in category theoretic lan= guage? One barrier for me seems to be the correct notion of an image. W= hat seems best right now would be that given f:X->Y, ker(coker f) =3D c= oker ( ker f). Here the left hand side would represent im f, and the ri= ght hand side X/kerf. If this is the right notion, what are the necessa= ry conditions on the category for it to hold? -Andrei Prokopiw