From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8294 Path: news.gmane.org!not-for-mail From: Jeff Egger Newsgroups: gmane.science.mathematics.categories Subject: Uniform locales in Shv(X) Date: Wed, 20 Aug 2014 16:25:51 -0700 Message-ID: Reply-To: Jeff Egger NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1408627427 13738 80.91.229.3 (21 Aug 2014 13:23:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 21 Aug 2014 13:23:47 +0000 (UTC) To: Categories List Original-X-From: majordomo@mlist.mta.ca Thu Aug 21 15:23:42 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 1XKSL4-0004zL-Fl for gsmc-categories@m.gmane.org; Thu, 21 Aug 2014 15:23:38 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:57207) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XKSKD-0004L4-Bn; Thu, 21 Aug 2014 10:22:45 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XKSKC-0001WV-5m for categories-list@mlist.mta.ca; Thu, 21 Aug 2014 10:22:44 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8294 Archived-At: 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/ ]