Inductive and Coinductive graphs

Galchin Vasili
Thu Jun 7 21:30:03 2001


     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!