Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation
  • noun biology The simultaneous induction of two or more compounds into a cell line

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word coinduction.

Examples

  • 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 Moss, Lawrence S. 2008

  • We give an explicit coinduction principle for recursively-defined stochastic processes.

    Lambda the Ultimate - Programming Languages Weblog 2008

Comments

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