Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 23 May 1995 19:36:03 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA197532333;
          Tue, 23 May 1995 12:05:33 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from swan.cl.cam.ac.uk by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA197442315;
          Tue, 23 May 1995 12:05:15 -0600
Received: from dunlin.cl.cam.ac.uk (user lcp (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) to cl; Tue, 23 May 1995 16:52:11 +0100
X-Mailer: exmh version 1.6 4/21/95
To: tfm@dcs.gla.ac.uk
Cc: info-hol@leopard.cs.byu.edu
X-Uri: <URL:http://www.cl.cam.ac.uk/users/lcp>
X-Face: "OrDM]eXxWpb;,!g'n)u!-ss/8qvWB4*r>rA5~IAaMPwt$YO^oBckRP3N&D0.K"wKN7B> 
        E&BJ5P-gy=o">rX=;.8M:sNp55m9?O%dK#v4{5e#8=-q9FUHURBbRfE:g\DybYQW4~MkQ 
        13swsz`i*9}*8fy}.au9jo.
Date: Tue, 23 May 1995 16:52:00 +0100
From: Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
Message-Id: <"swan.cl.cam.:003160:950523155305"@cl.cam.ac.uk>

By far the simplest, abstract characterization of infinite+finite sequences 
(over A) is as the final coalgebra of the functor 1 + (A * -), that is, the 
functor F such that F(Z) = 1 + (A*Z) for all Z.

							Larry Paulson