From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1712
Path: news.gmane.org!not-for-mail
From: Vaughan Pratt <pratt@cs.stanford.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: David Benson's questions on terminology
Date: Wed, 29 Nov 2000 01:25:48 -0800
Message-ID: <200011290925.BAA17540@coraki.Stanford.EDU>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241018038 32549 80.91.229.2 (29 Apr 2009 15:13:58 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:13:58 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed Nov 29 12:25:11 2000 -0400
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id eATFmqX29837
	for categories-list; Wed, 29 Nov 2000 11:48:52 -0400 (AST)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 43
Original-Lines: 13
Xref: news.gmane.org gmane.science.mathematics.categories:1712
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1712>


Universal algebraists (but not category theorists??) call b the _cover_ of
a when a<b with nothing in between.  See e.g. the index of such lattice
theory texts as Davey and Priestley or McKenzie, McNulty and Taylor
(Walter).  (MM&T distinguish upper cover and lower cover but obviously
an unqualified cover has to mean the upper kind to all but us Aussies.)
In a well-ordered set, "cover" and "successor" are synonymous: an ordinal
is a cover just when it is a successor ordinal.

Managed not to mention reflexivity---oops.

Vaughan Pratt