From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8299 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: Uniform locales in Shv(X) Date: Fri, 22 Aug 2014 08:15:27 -0700 Message-ID: References: Reply-To: Toby Bartels NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1408928033 10292 80.91.229.3 (25 Aug 2014 00:53:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 25 Aug 2014 00:53:53 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Aug 25 02:53:45 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 1XLiXX-0004mP-6T for gsmc-categories@m.gmane.org; Mon, 25 Aug 2014 02:53:43 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:33466) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XLiWZ-0001tC-Fy; Sun, 24 Aug 2014 21:52:43 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XLiWZ-0002aK-R0 for categories-list@mlist.mta.ca; Sun, 24 Aug 2014 21:52:43 -0300 Content-Disposition: inline In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8299 Archived-At: Jeff Egger wrote in part: >Perhaps, if we define a Weil pseudo-uniformity >on L to be exactly as above minus the admissibility axiom, it is >possible---at least in the case of a localic topos E=Shv(X)---to describe >a second locale underlying the pseudouniformity? If so, then we don't >really need formulate the admissibility axiom in the internal language of >the topos. It seems to me that describing this second locale will be about as difficult as stating the admissibility axiom. Indeed, this second locale should be a quotient of the original locale, and then admissibility simply states that this quotient map is an iso. The key to stating the admissibility axiom is what it means for two opens to have "nonempty" intersection. (If we have enough points, then this means that they have a point in common, but in general the classical statement "not empty" weaker.) Mike Shulman suggested on the nLab that A /\ B is "nonempty" if, whenever it is bounded above by the join of a collection U of opens, U is inhabited. But this probably behaves best when the locale is overt. As far as I know, nobody has worked out the details (certainly they have not been worked out on the nLab). This question of overtness may be related to Douglas Bridges's axiom S in the constructive theory of (point-set) uniform spaces. There has been some recent discussion of this issue on the nForum (the discussion forum attached to the nLab): http://nforum.mathforge.org/discussion/6149/located-uniform-spaces/ (which also has links to the relevant nLab pages). Overtness is also equivalent to the openness hypothesis used by Simon. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]