From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/400 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: pushouts in toposes Date: Tue, 17 Jun 1997 08:32:35 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016944 25588 80.91.229.2 (29 Apr 2009 14:55:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:44 +0000 (UTC) To: categories Original-X-From: cat-dist Tue Jun 17 08:34:19 1997 Original-Received: by mailserv.mta.ca; id AA26155; Tue, 17 Jun 1997 08:32:35 -0300 Original-Lines: 41 Xref: news.gmane.org gmane.science.mathematics.categories:400 Archived-At: Date: Mon, 16 Jun 1997 14:22:42 +0000 From: Cesc Rossello Dear categorists A PhD student of mine, Merce Llabres, and I we have got involved in proving some properties of pushouts on toposes, similar (but somehow dual) to those known for pullbacks. We are worried by the fact that perhaps somebody else has already proved many of the results we are interested in. So, before struggling to prove some probably well-known things, we would really appreciate some pointers to literature on the topic. For instance: Assume you have a family of pushouts in a topos Ai ---> Bi | | v f v A------> B (all squares have the same bottom arrow f) with vertical arrows monic, and assume the pullbacks of (Ai -->A)_i and (Bi---> B)_i exist, say A0 and B0, and consider the obvious square A0 ---> B0 | | v f v A------> B It is a pushout square when the family of squares is finite, and for arbitrary families in all complete toposes we have tried (sets, hypergraphs, total unary algebras, unary partial algebras with closed homomorphisms,...). Moreover, a proof (for complete toposes) can probably be derived from the techniques in the paper by Kawahara in TCS vol 77 (1990). But, has somebody already proved (or disproved) such a result? Thanks in advance Cesc Rossello