From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10291 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Thomas Streicher Newsgroups: gmane.science.mathematics.categories Subject: Re: Does essential entail locally connected for hyperconnected geometric morphisms? Date: Mon, 28 Sep 2020 13:36:03 +0200 Message-ID: References: Reply-To: Thomas Streicher 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="23100"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "categories@mta.ca" To: Jens Hemelaer Original-X-From: majordomo@rr.mta.ca Tue Sep 29 02:40:54 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 1kN3hN-0005us-Uc for gsmc-categories@m.gmane-mx.org; Tue, 29 Sep 2020 02:40:54 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:38394) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kN3hK-0005UH-N5; Mon, 28 Sep 2020 21:40:50 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kN3e9-0001Qd-AQ for categories-list@rr.mta.ca; Mon, 28 Sep 2020 21:37:33 -0300 Content-Disposition: inline In-Reply-To: <499e9e5440f6457d92349be543c9b280@uantwerpen.be> Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10291 Archived-At: > Morgan Rogers and I were able to construct a counterexample of the form PSh(M) --> PSh(N) where M and N are monoids. It arises from our joint work-in-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 hyperconnected 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/ ]