From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10258
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: locales such that the associated topos is subdiscrete?
Date: Wed, 22 Jul 2020 18:33:31 +0200
Message-ID: <E1jybKE-0005kY-Di@rr.mta.ca>
References: <E1jiS0n-0000ZO-8P@rr.mta.ca> <E1jj6Jn-0004P1-Jd@rr.mta.ca>
Reply-To: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="10371"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: "categories@mta.ca" <categories@mta.ca>
To: <ptj@maths.cam.ac.uk>
Original-X-From: majordomo@rr.mta.ca Thu Jul 23 15:32:27 2020
Return-path: <majordomo@rr.mta.ca>
Envelope-to: gsmc-categories@m.gmane-mx.org
Original-Received: from smtp2.mta.ca ([198.164.44.55])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <majordomo@rr.mta.ca>)
	id 1jybKl-0002Xn-4C
	for gsmc-categories@m.gmane-mx.org; Thu, 23 Jul 2020 15:32:27 +0200
Original-Received: from rr.mta.ca ([198.164.44.159]:60906)
	by smtp2.mta.ca with esmtp (Exim 4.80)
	(envelope-from <majordomo@rr.mta.ca>)
	id 1jybKV-0007aJ-3f; Thu, 23 Jul 2020 10:32:11 -0300
Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1)
	(envelope-from <majordomo@rr.mta.ca>)
	id 1jybKE-0005kY-Di
	for categories-list@rr.mta.ca; Thu, 23 Jul 2020 10:31:54 -0300
Content-Disposition: inline
Precedence: bulk
Xref: news.gmane.io gmane.science.mathematics.categories:10258
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/10258>

Dear Peter,

> This is NOT an open question, despite being stated as such in Jaap van
> Oosten's book; indeed, I knew the answer before Ieke raised the question at
> Jaap's PhD viva (but Ieke never bothered to ask me ...). There is a proof
> in my paper "Geometric morphisms of realizability toposes", TAC 28 (2013),
> 241.

Thanks for pointing this out but this is not the question I raised. I
was rather referring to the question Martin, you and Andy raised in the
second paragraph of the proof of Cor.4.2 of the paper where you
introduced triposes back in 1980.

Thomas


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]