from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. 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
- n. The simultaneous induction of two or more compounds into a cell line
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.
We give an explicit coinduction principle for recursively-defined stochastic processes.