From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10293 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jens Hemelaer Newsgroups: gmane.science.mathematics.categories Subject: Re: Does essential entail locally connected for hyperconnected geometric morphisms? Date: Mon, 28 Sep 2020 21:40:32 -0300 Message-ID: References: Reply-To: Jens Hemelaer Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35238"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "categories@mta.ca" To: Thomas Streicher Original-X-From: majordomo@rr.mta.ca Tue Sep 29 02:44:05 2020 Return-path: 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 ) id 1kN3kQ-00094f-SN for gsmc-categories@m.gmane-mx.org; Tue, 29 Sep 2020 02:44:03 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:38434) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kN3kN-00066y-8K; Mon, 28 Sep 2020 21:43:59 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kN3h2-0001Vy-32 for categories-list@rr.mta.ca; Mon, 28 Sep 2020 21:40:32 -0300 In-Reply-To: <20200928113603.GB17526@mathematik.tu-darmstadt.de> Accept-Language: en-US, nl-BE Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10293 Archived-At: Dear Thomas, At the moment, we do not have a counterexample to the statement that pre-co= hesive geometric morphisms are locally connected. We think we can construct= one of the form PSh(M) --> PSh(N) with M and N monoids, but it will take s= ome more work. All the best, Jens ________________________________ From: Thomas Streicher Sent: Monday, September 28, 2020 1:36 PM To: Jens Hemelaer Cc: categories@mta.ca; Morgan Rogers Subject: Re: categories: Does essential entail locally connected for hyperc= onnected geometric morphisms? > Morgan Rogers and I were able to construct a counterexample of the form P= Sh(M) --> PSh(N) where M and N are monoids. It arises from our joint work-i= n-progress in which we study exactly these kind of geometric morphisms, in = a systematic way. After talking about it with Thomas Streicher, we have now= written up the counterexample in more detail. You can find it here: > https://arxiv.org/abs/2009.12241 (3 pages). Dear Jens and Morgan, thanks a lot for your very nice counterexample which I never would have found on my own! Alas, it leaves open Lawvere and Menni's question whether precohesive geometric morphisms are always also locally connected. Does your toolbox also provide a counterexample to this implication. The current one does not do this job since you show the leftmost adjoint does not preserve binary products. (By Lemma 2.7 of Johnstone's 2011 TAC paper preservation of binary products by the leftmost adjoint is equivalent to preservation of exponentials by the inverse image part for hyperconnecte= d and local geometric morphisms.) BTW I think that locally connected, hyperconnected and local is the correct generalization of essential, 2-valued and local from base Set to arbitrary base toposes from the point of view of fibered categories. Best, Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]