[Prev][Next][Index][Thread]
Re: chains vs. directed sets
Date: Tue, 26 Nov 91 13:27:08 GMT
To: "John C. Mitchell" <jcm@cs.stanford.edu>
The reason for using directed sets rather than chains is much the same
as the reason for using typed programming languages rather than Kleene
indices: the class of them is closed under the useful operations
(products, for instance) whereas indices involve coding which is quite
irrelevant to the problem.
For example, in the limit-colimit coincidence, compare the notation of
Smyth & Plotkin [78] or [82] with my paper
Homomorphisms, Bilimits & Saturated Domains - some very basic domain th.
[1987], which was unpublished, but is available by anonymous FTP from
theory.doc.ic.ac.uk (146.169.2.37) as theory/papers/Taylor/bilimits.dvi