Help Wordnik hunt for a million missing words by backing our Kickstarter!


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


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