Inductive and Coinductive graphs
Galchin Vasili
vngalchin@yahoo.com
Thu Jun 7 21:30:03 2001
Hello,
I already sent this question to Brian. In his
Arrows code, he has Inductive Graph and Coinductive
Graph classes (in Smalltalk).
- what are these concepts? I.e. what is an inductive
graph and what is a coinuctive graph. Please
point at something to read, paper, book, URL...
- are these dual categoric concepts like initial
object and final object?
Regards, Vasili
__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35
a year! http://personal.mail.yahoo.com/