categories - Category Theory list
 help / color / mirror / Atom feed
From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
To: <ptj@maths.cam.ac.uk>
Cc: "categories@mta.ca" <categories@mta.ca>
Subject: Re: locales such that the associated topos is subdiscrete?
Date: Wed, 22 Jul 2020 18:33:31 +0200	[thread overview]
Message-ID: <E1jybKE-0005kY-Di@rr.mta.ca> (raw)
In-Reply-To: <E1jj6Jn-0004P1-Jd@rr.mta.ca>

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/ ]


  parent reply	other threads:[~2020-07-22 16:33 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-06-08 18:26 streicher
     [not found] ` <d5a225f6c7f44af19ce8bcfc647411c3@uantwerpen.be>
2020-06-10 10:40   ` Thomas Streicher
2020-07-22  9:14     ` ptj
2020-07-22 16:33     ` Thomas Streicher [this message]
2020-06-09  9:09 Jens Hemelaer

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1jybKE-0005kY-Di@rr.mta.ca \
    --to=streicher@mathematik.tu-darmstadt.de \
    --cc=categories@mta.ca \
    --cc=ptj@maths.cam.ac.uk \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).