Inductive and Coinductive graphs

[Galchin Vasili]

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/