From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1662
Path: news.gmane.org!not-for-mail
From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: coinduction
Date: Fri, 20 Oct 2000 17:35:17 +0200 (MET DST)
Message-ID: <200010201535.RAA07760@ithif20.inf.tu-dresden.de>
References: <003301c03a95$49f73610$448a0dd8@main>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018003 32312 80.91.229.2 (29 Apr 2009 15:13:23 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:13:23 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Fri Oct 20 18:38:35 2000 -0300
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id e9KL70n12832
	for categories-list; Fri, 20 Oct 2000 18:07:00 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
In-Reply-To: <003301c03a95$49f73610$448a0dd8@main>
X-Mailer: VM 6.34 under Emacs 19.34.1
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 20
Original-Lines: 22
Xref: news.gmane.org gmane.science.mathematics.categories:1662
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1662>

Hi,

Al Vilcius writes:
   From: "Al Vilcius" <al.r@VILCIUS.com>
   Date: Fri, 20 Oct 2000 08:57:20 -0400
   Subject: categories: coinduction
   
   can anyone explain coinduction?

Have a look at 

   Bart Jacobs and Jan Rutten
   A Tutorial on (Co)Algebras and (Co)Induction
   Bulletin of the EATCS, Vol. 62, pp. 222-259, 1996.   
   
it is available on the authors homepages, for instance
http://www.cs.kun.nl/~bart/PAPERS/JR.ps.Z

Bye,

Hendrik