From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5020 Path: news.gmane.org!not-for-mail From: Barney Hilken Newsgroups: gmane.science.mathematics.categories Subject: Re: Triquotient assignments for geometric morphisms Date: Tue, 23 Jun 2009 16:40:28 +0100 Message-ID: Reply-To: Barney Hilken NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v935.3) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1245789723 16970 80.91.229.12 (23 Jun 2009 20:42:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 23 Jun 2009 20:42:03 +0000 (UTC) To: "Townsend, Christopher" Original-X-From: categories@mta.ca Tue Jun 23 22:41:56 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MJCoW-0003B9-BC for gsmc-categories@m.gmane.org; Tue, 23 Jun 2009 22:41:56 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MJCAK-00033N-Vw for categories-list@mta.ca; Tue, 23 Jun 2009 17:00:25 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5020 Archived-At: Hi Christopher & Steve, thanks for your replies. The version I need is the generalisation of open & proper morphisms (i.e. some kind of map f_*\Omega_F -> \Omega_E) rather than the generalisation of locally connected & tidy morphisms (some kind of functor F -> E). As Steve says, I think the results I want follow from the stability of the hyperconnected-localic factorisation, but I was hoping someone had written out the details in the style of sections C3.1 & C3.2 of the Elephant. Looks like I'll have to do it myself. Barney. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]