Inductive and Coinductive graphs
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?
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35
a year! http://personal.mail.yahoo.com/