# coinductive

coinductive
Of, pertaining to, or producing coinduction

Wikipedia foundation.

### Look at other dictionaries:

• F-algebra — In mathematics, specifically in category theory, an F algebra for an endofunctor :F : mathbf{C}longrightarrow mathbf{C} is an object A of mathbf{C} together with a mathbf{C} morphism :alpha : FA longrightarrow A. In this sense F algebras are dual …   Wikipedia

• Initial algebra — In mathematics, an initial algebra is an initial object in the category of F algebras for a given endofunctor F . The initiality provides a general framework for induction and recursion. For instance, consider the endofunctor 1+( ) on the… …   Wikipedia

• F-coalgebra — In mathematics, specifically in category theory, an F coalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in… …   Wikipedia

• Coinduction — codata redirects here. For the CODATA committee, see Committee on Data for Science and Technology. In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is… …   Wikipedia

• Apomorphism — An apomorphism (from απο Greek for apart ) is the categorical dual of a paramorphism. Whereas a paramorphism models primitive recursion over an inductive data type, an apomorphism models primitive corecursion over a coinductive data… …   Wikipedia

• Preordre de simulation — Préordre de simulation En informatique théorique un préordre de simulation est une relation entre systèmes de transition d états associant des systèmes qui se comportent de la même façon au sens qu un système simule l autre. Intuitivement, un… …   Wikipédia en Français

• Pré-ordre de simulation — Préordre de simulation En informatique théorique un préordre de simulation est une relation entre systèmes de transition d états associant des systèmes qui se comportent de la même façon au sens qu un système simule l autre. Intuitivement, un… …   Wikipédia en Français

• Préordre de simulation — En informatique théorique un préordre de simulation est une relation entre systèmes de transition d états associant des systèmes qui se comportent de la même façon au sens qu un système simule l autre. Intuitivement, un système simule l autre s… …   Wikipédia en Français

• Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия