From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/402
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: pushouts in toposes
Date: Tue, 17 Jun 1997 23:52:46 -0300 (ADT)
Message-ID: <Pine.OSF.3.90.970617235221.25863G-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241016945 25596 80.91.229.2 (29 Apr 2009 14:55:45 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:45 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Tue Jun 17 23:52:48 1997
Original-Received: by mailserv.mta.ca; id AA25889; Tue, 17 Jun 1997 23:52:46 -0300
Original-Lines: 27
Xref: news.gmane.org gmane.science.mathematics.categories:402
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/402>

Date: Tue, 17 Jun 1997 11:54:07 -0400 (EDT)
From: Peter Freyd <pjf@saul.cis.upenn.edu>


The distributivity condition is not only necessary and but a
sufficient condition for the pushout result. A square

   A'--> B'

   |     |

   A --> B
      f

in which the vertical arrows are monic is a pushout iff the
following three conditions hold:

  1)  the square is a pullback;
  2)  B  is the union of  Image(f)  and  B';
  3)  the congruence, E, induced by  f  is the union of the
      identity relation and  E ^ (A' x A').

Hence, the desired result reduces to:

   B  =  Image(f) v /\Bi;
   E  =  I v /\(E ^ (Ai x Ai))  =  I v (E ^ /\(Ai x Ai)).