from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. The dual to recursion, that acts on the computed result, rather than the input.


Sorry, no etymologies found.


  • Incorporating concepts and results from category theory, coalgebra leads us to concepts such as corecursion and coinduction; these are in a sense duals to the more standard notions of recursion and induction.

    Non-wellfounded Set Theory

Wordnik is becoming a not-for-profit! Read our announcement here.


Log in or sign up to get involved in the conversation. It's quick and easy.