From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10290 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 07:50:19 +0000 Message-ID: References: , Reply-To: Jens Hemelaer 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="16453"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Tue Sep 29 02:39:17 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 1kN3fo-00048P-Ed for gsmc-categories@m.gmane-mx.org; Tue, 29 Sep 2020 02:39:16 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:38374) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kN3fU-0005GV-QI; Mon, 28 Sep 2020 21:38:56 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kN3c4-0001PB-SC for categories-list@rr.mta.ca; Mon, 28 Sep 2020 21:35:24 -0300 In-Reply-To: Accept-Language: en-US, nl-BE Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10290 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 w= ritten up the counterexample in more detail. You can find it here: https://arxiv.org/abs/2009.12241 (3 pages). Jens ________________________________ From: > Date: Sat, 19 Sep 2020 at 14:28 Subject: categories: Does essential entail locally connected for hyperconne= cted geometric morphisms? To: > Consider the functor F from the site for the topos of graphs to the site for the Sierpinski topos such that the object part of F is a bijection. Let f be the geometric morphism whose inverse image part is given by change of base along F. It is the inclusion of graphs with loops only into the category of graphs. Of course, p is essential and one easily sees that it is hyperconnected. One can show that p is not locally connected. However, p is not local since p_* does not preserve coequalizers. My attempts to come up with an example of a hyperconnected local geometric morphism which is is essential but not locally connected have failed so far. But all my instincts tell me that there should be a counterexample! The question came up in discussions with Matias Menni. He told me that one can prove that essential entails locally connected for hyperconnected local geometric morphisms. But his argument uses (ii) =3D> (i) of Lemma 3.2 of Peter Johnstone's paper "Calibrated Toposes" whose proof I, however, find very cryptic. In any case, it would entail a result which I, personally, would find very surprising... I would be grateful for any clarification of this puzzling question. My hope is that someone comes up (with an idea for) a counterexample. But, of course, I also would highly appreciate any argument that such a counterexample cannot exist. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]