From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1558 Path: news.gmane.org!not-for-mail From: S.J.Vickers@open.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Maps as toposes: terminology? Date: Fri, 30 Jun 2000 10:35:06 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: ger.gmane.org 1241017923 31803 80.91.229.2 (29 Apr 2009 15:12:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:12:03 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Jun 30 09:53:49 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id JAA16011 for categories-list; Fri, 30 Jun 2000 09:40:23 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Internet Mail Service (5.5.2650.21) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 33 Xref: news.gmane.org gmane.science.mathematics.categories:1558 Archived-At: As is well-known, given a topos Y then the maps f: X -> Y targeted at it are equivalent to toposes in the generalized universe of sets corresponding to Y. Hence there is a correspondence between properties of maps and constructive properties of toposes. Unfortunately, they often have different names. For instance, in "Proper maps of toposes", Moerdijk and Vermeulen have - compact (for toposes) vs. proper (for maps) strongly compact vs. tidy Stone vs. entire compact Hausdorff vs. separated (a.k.a. proper) Furthermore, sometimes f is genuinely to be thought of as a map, with X and Y toposes over some base topos B, and the properties can be relativized to B. For instance, Moerdijk and Vermeulen define "proper relative to B", and then "proper" unqualified means "proper relative to the target (Y)". More names can arise from this; for instance, "proper relative to 1" has been called - at least for locales - "semiproper", "perfect" or even "proper". Does anyone have suggestions of systematic terminology - other than systematically calling everything "proper" - that avoids this proliferation of names? Steve Vickers Department of Pure Maths Faculty of Maths and Computing The Open University ----------- Tel: 01908-653144 Fax: 01908-652140 Web: http://mcs.open.ac.uk/sjv22