From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8296 Path: news.gmane.org!not-for-mail From: henry@phare.normalesup.org Newsgroups: gmane.science.mathematics.categories Subject: Re: Uniform locales in Shv(X) Date: Thu, 21 Aug 2014 16:51:05 +0200 Message-ID: References: Reply-To: henry@phare.normalesup.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1408709614 17382 80.91.229.3 (22 Aug 2014 12:13:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 22 Aug 2014 12:13:34 +0000 (UTC) Cc: categories@mta.ca To: "Jeff Egger" Original-X-From: majordomo@mlist.mta.ca Fri Aug 22 14:13:29 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XKniX-0007hK-Us for gsmc-categories@m.gmane.org; Fri, 22 Aug 2014 14:13:18 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:58374) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XKnhs-0000VT-7A; Fri, 22 Aug 2014 09:12:36 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XKnhq-0006hf-Qp for categories-list@mlist.mta.ca; Fri, 22 Aug 2014 09:12:34 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8296 Archived-At: Dear Jeff, I think the problem is that (as far as I know) no one has developed a nice constructive theory of uniform locale. If I'm mistaken about that I would be really happy to know more about it. I have done in my thesis (in chapitre 3 section 3, https://www.imj-prg.fr/~simon.henry/Thesis.pdf) the case of constructive metric locale, under the assumption that the map $Y \rightarrow X$ is open. Removing this openness hypothesis seems difficult but I stil have hope that this is possible, and I have a few idea about it... For the general case it seems to me that the only definition that have a chance to work properly without the openess condition is the definition by entourage and this one should be easy to externalise: any local section of the sheaf of entourage will corresponds to an open sublocale of Y \times_X Y, (containing the restriction of the diagonal to the open sublocale of $X$ on which it is defined ), and it should not be to hard to give the axioms that these have to satisfy... is this the kind of things your are looking for ? Best wishes, Simon Henry > Dear all, > > I found myself wondering yesterday "what does a uniform locale internal to > Shv(X) look like?". In theory, this ought to be quite a simple thing: a > locale map Y-->X equipped with a "fibrewise uniform structure". Has anyone > already worked out a precise definition for the latter phrase? Pointers to > relevant literature would be greatly appreciated! > > Cheers, > Jeff. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]