From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/381 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: correction Date: Thu, 15 May 1997 22:19: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 1241016931 25508 80.91.229.2 (29 Apr 2009 14:55:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:31 +0000 (UTC) To: categories Original-X-From: cat-dist Thu May 15 22:20:37 1997 Original-Received: by mailserv.mta.ca; id AA26557; Thu, 15 May 1997 22:19:35 -0300 Original-Lines: 14 Xref: news.gmane.org gmane.science.mathematics.categories:381 Archived-At: Date: Thu, 15 May 1997 10:12:30 +0200 (MET DST) From: Jiri Rosicky At the 64th PSSL at Braunschweig, I gave a talk about cartesian closedness of exact completions with an intention to cover equilogical spaces in the sense of Dana Scott (see D.S.Scott, A New category? Domains, Spaces and Equivalence Relations, preprint 1996). Unfortunately, Peter Johnstone found a flaw in my argument. I would like to announce the following result which covers equilogical spaces: Theorem: Let C be an infinitary extensive category. Then its exact completion ex(C) is cartesian closed iff C is weakly cartesian closed. Moreover, the embedding C-->ex(C) preserves exponentials.