Coinduction
- Pure Mathematics -
Algebra Dictionary
Définition
La construction duale de l'induction qui produit des objets sur un contexte plus large par une propriété universelle de limite ou fondée sur Hom, réalisée typiquement comme Hom_R(S, −) ou comme adjointe à droite de la restriction, fournissant l'objet « le plus général » compatible avec les données du sous-contexte selon une logique de limite.