2
$\begingroup$

I've been learning about $F$-coalgebras and coinduction from this fantastic paper, which has really helped me get a feel with its many examples. I'm starting to struggle with reconciling the definition of coinduction and proofs-by-coinduction with the way I was taught about induction. I think learning about how induction works for $F$-algebras would really help me as a sort of conceptual bridge, but I can't find any good resources at the level of Rutten's paper that would help me understand. Do you know of any such resources (hopefully replete with plenty of examples)?

Or, perhaps, how does induction work from an $F$-algebraic perspective?

$\endgroup$
2
$\begingroup$

You might find parts of the following book chapter helpful:

B. Jacobs and J.J.M.M. Rutten. An introduction to (co)algebras and (co)induction. In: Advanced topics in bisimulation and coinduction, pp. 38-99, 2011.

Best, Jan

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.